Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Titre (en) » - entrée « processes »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
processed < processes < processing  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 56.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000084 (2013) Emmanuel Hainry [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Type-Based Complexity Analysis for Fork Processes
000100 (2013) Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie]Tableaux for Verification of Data-Centric Processes
000132 (2013) Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]Realizing Elastic Processes with ViePEP
000192 (2013) Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]Introducing the Vienna Platform for Elastic Processes
000258 (2013) Xiwei Xu [Australie] ; Ingo Weber [Australie] ; Liming Zhu [Australie] ; Yan Liu [États-Unis, Australie] ; Paul Rimba [Australie] ; Qinghua Lu [Australie]BPMashup: Dynamic Execution of RESTful Processes
000271 (2013) Inaya Yahya [Tunisie] ; Sameh Hbaieb Turki [Tunisie, France] ; Anis Charfi [Allemagne] ; Slim Kallel [Tunisie] ; Rafik Bouaziz [Tunisie]An Aspect-Oriented Approach to Enforce Security Properties in Business Processes
000444 (2012) Hubert Garavel [France] ; Frédéric Lang [France] ; Radu Mateescu [France] ; Wendelin Serwe [France]CADP 2011: a toolbox for the construction and analysis of distributed processes
000771 (2010) Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne]Tool Support for Dynamic Development Processes
000851 (2010) René Schott [France] ; G. Stacey Staples [États-Unis]Dynamic Geometric Graph Processes: Adjacency Operator Approach
000B36 (2009) Aaron G. Cass [États-Unis] ; Leon J. Osterweil [États-Unis] ; Alexander Wise [États-Unis]A Pattern for Modeling Rework in Software Development Processes
000E59 (2008) Mohsen Rouached [France] ; Walid Fdhila [France] ; Claude Godart [France]A semantical framework to engineering WSBPEL processes
000F33 (2007) Jacky Estublier [France] ; Sergio Garcia [France]Workflows and cooperative processes
001199 (2006) Jacky Estublier [France] ; Sergio Garcia [France]Workflows and Cooperative Processes
001241 (2006) Jacky Estublier [France]Software are Processes Too
001279 (2006) Mingshu Li [République populaire de Chine] ; Qiusong Yang [République populaire de Chine] ; Jian Zhai [République populaire de Chine] ; Guowei Yang [République populaire de Chine]On Mobility of Software Processes
001297 (2006) Markus Rabe [Allemagne]Methods for the Analysis of Supply Network Processes at European SMEs
001317 (2006) Florian Kupsch [Allemagne] ; Dirk Werth [Allemagne]Integrating Business Processes with Peer-to-Peer Technology
001366 (2006) Khaled Gaaloul [France] ; François Charoy [France] ; Claude Godart [France]Cooperative Processes for Scientific Workflows
001480 (2005) C. De La Garza [France] ; E. Fadier [France]Towards proactive safety in design: a comparison of safety integration approaches in two design processes
001555 (2005) Gleison Santos [Brésil] ; Karina Villela [Brésil] ; Mariano Montoni [Brésil] ; Ana Regina Rocha [Brésil] ; Guilherme H. Travassos [Brésil] ; Sávio Figueiredo [Brésil] ; Sômulo Mafra [Brésil] ; Adriano Albuquerque [Brésil] ; Benito Diaz Paret [Brésil] ; Márcio Amaral [Brésil]Knowledge Management in a Software Development Environment to Support Software Processes Deployment
001644 (2005) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]A Contract Layered Architecture for Regulating Cross-Organisational Business Processes

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "processes" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "processes" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    processes
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022