✦ LIBER ✦

A formal model for the interoperability of service clouds

✍ Scribed by Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal model for BPEL4WS description o

✍ Gu Xiwu; Lu Zhengding 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 808 KB

caCORE version 3: Implementation of a mo

✍ George A. Komatsoulis; Denise B. Warzel; Francis W. Hartel; Krishnakant Shanbhag 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 241 KB

A taxonomy of geospatial services for gl

✍ Yuqi Bai; Liping Di; Yaxing Wei 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 436 KB

A Formal Engineering Framework for Servi

✍ Miao, Weikai; Liu, Shaoying 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 511 KB

A Cloud-Based Trust Model for Evaluating

✍ Shou-Xin Wang; Li Zhang; Shuai Wang; Xiang Qiu 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 586 KB

A service-oriented architecture for inte

✍ Pedro T Monteiro; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T 📂 Article 📅 2009 🏛 BioMed Central 🌐 English ⚖ 940 KB