Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « Reactive system »
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.
Reactive Multi-Agent System < Reactive system < Reactivity  Facettes :

List of bibliographic references indexed by Reactive system

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
002813 (2011) Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne]Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION
002817 (2011) Khaled Gaaloul [Luxembourg (pays)] ; H. A. Proper [Luxembourg (pays)] ; Ehtesham Zahoor [France] ; François Charoy [France] ; Claude Godart [France]A logical framework for reasoning about delegation policies in workflow management systems
002F79 (2010) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]Fouille de workflow
003B91 (2009) Olivier Simonin [France] ; Olivier Grunder [France]A cooperative multi-robot architecture for moving a paralyzed robot
004443 (2008) BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]Modélisation événementielle pour la construction de diagrammes de classes
005347 (2006) Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France]Web Service Mining and Verification of Properties: An Approach Based on Event Calculus
005361 (2006) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]Towards Formal Verification of Web Service Composition
005363 (2006) Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Time Constraint Patterns for Event B Development
005559 (2006) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis
006171 (2005) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]Towards Mining Structural Workflow Patterns
006329 (2005) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus
006330 (2005) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]A Contract Layered Architecture for Regulating Cross-Organisational Business Processes
006C17 (2004) Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France]Discovering Workflow Transactional Behavior from Event-Based Log
006C71 (2004) Franck Gechter [France] ; Vincent Chevrier [France] ; Francois Charpillet [France]Un modèle de résolution de problèmes utilisant des agents réactifs pour la localisation et le suivi
007A57 (2003) Jean-Raymond Abrial [France] ; Dominique Cansell [France] ; Dominique Méry [France]Formal Derivation of Spanning Trees Algorithms
007B53 (2003) Stephan Merz [France]On the logic of TLA+
008724 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
009F87 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]Predicate diagrams for the verification of reactive systems

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Reactive system" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "Reactive system" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Reactive system
}}
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