𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Database and Expert Systems Applications Volume 7446 || Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification

✍ Scribed by Liddle, Stephen W.; Schewe, Klaus-Dieter; Tjoa, A Min; Zhou, Xiaofang

Book ID
118217247
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
73 KB
Category
Article
ISBN
3642326005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Data
[Lecture Notes in Computer Science] Database and Expert Systems Applications Volume 2453 || A Comparison of Alternative Encoding Mechanisms for Web Services
✍ Hameurlain, Abdelkader; Cicchetti, Rosine; Traunmüller, Roland 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 963 KB

th 2002 DEXA, the 13 International Conference on Database and Expert Systems Applications was held on September 2–6, 2002, at the Université Aix–Marseille II, France. The quickly growing field of information systems required the establishment of more specialized discussion platforms (the DaWaK confe

[Lecture Notes in Computer Science] Leve
[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6416 || A Case Study in Model-Based Adaptation of Web Services
✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 492 KB

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18–21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners