Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Mohsen Rouached »
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.
Mohammed Attik < Mohsen Rouached < Monique Grandbastien  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
000332 (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
000336 (2006) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]Towards formal verification of web service composition
000531 (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
000532 (2005) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]A contract layered architecture for regulating cross-organisational business processes

List of associated FC03.fr.i

Nombre de
documents		Descripteur
4Processus métier
4Système réactif
3Gestion entreprise
3Modélisation
3Service web
2Contrat
2Gestion intégrée
2Internet
2Monitorage
2Processus service
2Surveillance
1.
1Analyse syntaxique
1Coordination
1Fiabilité
1Fichier log
1Flux donnée
1Fouille donnée
1Gestion événement
1Offre service
1Ontologie
1Orienté objet
1Outil logiciel
1Pistage
1Processus conception
1Préparation gamme fabrication
1Réparation
1Système information
1Système réparti
1Sémantique
1Traitement flux donnée
1Vérification formelle
1Web sémantique

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Mohsen Rouached" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Mohsen Rouached" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Mohsen Rouached
}}
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