✦ LIBER ✦

Towards an approach of formal verification of mediation protocol based on web services of MDE type

✍ Scribed by Graiet, Mohamed; Maraoui, Raoudha; Kmimech, Mourad; Tahar Bhiri, Mohamed; Gaaloul, Walid

Book ID: 120030859
Publisher: Emerald Group Publishing Limited
Year: 2012
Tongue: English
Weight: 499 KB
Volume: 8
Category: Article
ISSN: 1744-0084
DOI: 10.1108/17440081211222582

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 12th International Confer

[ACM Press the 12th International Conference - Paris, France (2010.11.08-2010.11.10)] Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services - iiWAS '10 - Towards an approach of formal verification of mediation protocol based on web services

✍ Graiet, Mohamed; Maraoui, Raoudha; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaalou 📂 Article 📅 2010 🏛 ACM Press ⚖ 403 KB

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 5554 || Towards an Agent Based Approach for Verification of OWL-S Process Models

✍ Aroyo, Lora; Traverso, Paolo; Ciravegna, Fabio; Cimiano, Philipp; Heath, Tom; Hy 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 496 KB

This volume contains papers from the technical program of the 6th European Semantic Web Conference (ESWC 2009), held from May 31 to June 4, 2009, in Heraklion, Greece. ESWC 2009 presented the latest results in research and applications of Semantic Web technologies. In addition to the technical resea

An enhanced Web page change detection ap

An enhanced Web page change detection approach based on limiting similarity computations to elements of same type

✍ Hassan Artail; Michel Abi-Aad 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 396 KB

[ACM Press the 13th International Confer

[ACM Press the 13th International Conference - Ho Chi Minh City, Vietnam (2011.12.05-2011.12.07)] Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services - iiWAS '11 - MDE approach for the generation and verification of SCA model

✍ Louhichi, Soumaya; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaalo 📂 Article 📅 2011 🏛 ACM Press ⚖ 713 KB

[IEEE 2012 IEEE 19th International Confe

[IEEE 2012 IEEE 19th International Conference on Web Services (ICWS) - Honolulu, HI, USA (2012.06.24-2012.06.29)] 2012 IEEE 19th International Conference on Web Services - An Approach to Forecasting QoS Attributes of Web Services Based on ARIMA and GARCH Models

✍ Amin, Ayman; Colman, Alan; Grunske, Lars 📂 Article 📅 2012 🏛 IEEE ⚖ 421 KB

[Lecture Notes in Computer Science] On t

[Lecture Notes in Computer Science] On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE Volume 4275 || Web Service Mining and Verification of Properties: An Approach Based on Event Calculus

✍ Meersman, Robert; Tari, Zahir 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 485 KB

This two-volume set LNCS 4275/4276 constitutes the refereed proceedings of the four confederated conferences CoopIS 2006, DOA 2006, GADA 2006, and ODBASE 2006 held as OTM 2006 in Montpellier, France in October/November 2006. The 106 revised full and nine short papers presented together with four key