1
0
0
(1 - 21 from 24
)
MOBILITY Program
www.iaria.org
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. ICSEA 17: Advanced Design Tools for Developing Software II Session ...
DBLife: Walid Gaaloul
dblife.cs.wisc.edu
... Mohamed Tahar Bhiri, Walid Gaaloul. IJWIS (8): (2012). Web Search BibTeX Download: 52: A recommender system based on historical usage data for ...
DBLife: Eric Cariou
dblife.cs.wisc.edu
Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou. SKG 2011, Web Search BibTeX Download: 2009; 2:
DBLife: Lazhar Hamel
dblife.cs.wisc.edu
... Mohamed Tahar Bhiri, Walid Gaaloul. ECSA 2011, Web Search BibTeX Download: 2: Event-B Formalisation of Web Services for Dynamic Composition. ...
DBLife: Mohamed Graiet
dblife.cs.wisc.edu
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. iiWAS 2010, Web Search BibTeX Download: from DBLP and Google …
Towards an approach of formal verification of mediation protocol...
researchr.org
... Raoudha Maraoui and Mourad Kmimech and Mohamed Tahar Bhiri and Walid Gaaloul}, year = {2010}, doi = {http://doi.acm.org }, ...
CiteSeerX — Towards an Approach of Formal Verification of Web Service...
citeseerx.ist.psu.edu
@MISC{Graiet_towardsan, author = {Mohamed Graiet and Mourad Kmimech and Lazhar Hamel and Mohamed Tahar Bhiri and Raoudha Maraoui and Walid Gaaloul}, title ...
David Taniar, Eric Pardede, Hong-Quang Nguyen, Wenny ...
www.iiwas.org
Mohamed Tahar Bhiri (MIRACL, Tunisia), Walid Gaaloul (Télécom SudParis, France), Eric Cariou (Université de Pau et des pays . de l’Adour, France)
Seventh International Conference on Semantics Knowledge and Grid (SKG...
researchr.org
... Verifying Composite Service Transactional Behavior with EVENT-BLazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul.
DBLP - Mohamed Tahar Bhiri - Cloud Mining - DBLP
dblp.cloudmining.net
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul : Towards an approach of formal verification of mediation ...
INFOCOMP Program
zen.rrzn.uni-hannover.de
INFOCOMP October , Barcelona, Spain Mohamed Tahar Bhiri, Walid Gaaloul. ICSEA 17: Advanced Design Tools for Developing Software II
Software Architecture
intranet.paluno.uni-due.de
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech,. Mohamed Tahar Bhiri, and Walid Gaaloul. A Constructive Approach to Compositional Architecture Design .
Verifying Composite Service Transactional Behavior with EVENT-B |...
link.springer.com
(18); Mourad Kmimech (18); Mohamed Tahar Bhiri · (18); Walid Gaaloul · (19). Author Affiliations. 18.
DBLife: Verifying Composite Service Transactional Behavior with...
dblife.cs.wisc.edu
Source: ECSA. Year: Pages: Authors: Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Download ...
Recherche - Google Sites
sites.google.com
Mohamed Graiet, Lazhar Hamel, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, andWalid Gaaloul. Towards an Approach of Formal Verification of Web Service Composition. International Journal On Advances in Intelligent Systems (IJAIS), volume 4, numbers 3 and 4, pages (2011). Articles dans des ...
Walid Gaaloul
www-inf.it-sudparis.eu
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul:. Verifying Composite Service Transactional Behavior with EVENT-B. ...
Walid Gaaloul Publications
www-inf.int-evry.fr
... Mohamed Tahar Bhiri, Walid Gaaloul Towards an approach of formal verification of mediation protocol based on web services of MDE type The ...
ThinkMind(TM) Digital Library
www.thinkmind.org
Mohamed Tahar Bhiri Walid Gaaloul. Keywords: web service composition; Event-B; transactional web service; proof; verification. Abstract: Web services are software ...
Eric Cariou - Publications
ecariou.perso.univ-pau.fr
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, and Eric Cariou, MDE approach for the generation and verification of SCA model (short paper), The 13th International Conference on Information Integration and Web-based Applications and Services (iiWAS 2011), December ...
TDGS - "Eric Cariou"
juliette.lsi.us.es
Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou · SKGFetch | Report | Google.
Walid Gaaloul
www-inf.int-evry.fr
Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, ... Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid ...
All web results to the name "Mohamed Tahar Bhiri"
Related search requests for Mohamed Tahar Bhiri
| Mourad Chabane Mourad Chabane Oussalah Imen Sayar | Eric Cariou Walid Gaaloul Jean-Paul Bodeveix | Soumaya Louhichi Jeanine Souquières Mohamed Bhiri |
People Forename "Tahar" (298) Name "Bhiri" (18) |
sorted by relevance / date