Processus service And NotSami Bhiri
List of bibliographic references
Number of relevant bibliographic references: 8.Ident. | Authors (with country if any) | Title |
---|---|---|
000002 | Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France] | Supervision et vérification décentralisées de chorégraphies de services |
000082 | Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France] | A Bounded Model Checking Approach for the Verification of Web Services Composition |
000159 | Isabelle Mirbel [France] ; Pierre Crescenzo [France] | Des besoins des utilisateurs à la recherche de services web: Une approche sémantique guidée par les intentions |
000336 | Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | Towards formal verification of web service composition |
000623 | Alexander Keller [États-Unis] ; Remi Badonnel [France] | Automating the provisioning of application services with the BPEL4WS workflow language |
000709 | Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France] | Dynamic interconnection of heterogeneous workflow processes through services |
000734 | Karim Baïna [France] ; Samir Tata [France] ; Khalid Benali [France] | A model for process service interaction |
000737 | Olivier Perrin [France] ; Claude Godart [France] | A contract model to deploy and control cooperative processes |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |