✦ LIBER ✦

Activity sequence modes for Web services and verifications

✍ Scribed by Bo Chen; Qingneng Yuan; Zhiqi Liu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CSP-Based Verification for Web Service O

✍ Yeung, W.L. 📂 Article 📅 2007 🏛 SAGE Publications 🌐 English ⚖ 638 KB

Model-driven approach supporting formal

✍ Dumez, C.; Bakhouya, M.; Gaber, J.; Wack, M.; Lorenz, P. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 658 KB

Verification of Web Service Compositions

✍ Maximilian Röglinger 📂 Article 📅 2009 🏛 SP Gabler Verlag ⚖ 494 KB

Actively deployable mobile services for

✍ Siu Nam Chuang; Chan, A.T.S.; Jiannong Cao; Cheung, R. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 353 KB

[IEEE 2010 IEEE International Conference

✍ Cao, Tien-Dung; Phan-Quang, Trung-Tien; Felix, Patrick; Castanet, Richard 📂 Article 📅 2010 🏛 IEEE ⚖ 332 KB

Geospatial Services and Applications for

✍ Sample, John T.; Shaw, Kevin; Tu, Shengru; Abdelguerfi, Mahdi 📂 Article 📅 2008 🏛 Springer US ⚖ 274 KB