𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 Seventh International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2011.10.24-2011.10.26)] 2011 Seventh International Conference on Semantics, Knowledge and Grids - Verifying Composite Service Transactional Behavior with EVENT-B

✍ Scribed by Hamel, Lazhar; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaaloul, Walid

Book ID: 121365536
Publisher: IEEE
Year: 2011
Weight: 258 KB
Category: Article
ISBN: 0769545157
DOI: 10.1109/SKG.2011.35

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 Seventh International Confere

[IEEE 2011 Seventh International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2011.10.24-2011.10.26)] 2011 Seventh International Conference on Semantics, Knowledge and Grids - Integration of Semantically Aligned Heterogeneous Databases

✍ Yang, Yi; Feng, Junkang 📂 Article 📅 2011 🏛 IEEE ⚖ 905 KB

[IEEE 2011 Seventh International Confere

[IEEE 2011 Seventh International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2011.10.24-2011.10.26)] 2011 Seventh International Conference on Semantics, Knowledge and Grids - Rethinking Software Testing Based on Software Architecture

✍ Jin, Juan; Xue, Fei 📂 Article 📅 2011 🏛 IEEE ⚖ 252 KB

[IEEE 2011 Seventh International Confere

[IEEE 2011 Seventh International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2011.10.24-2011.10.26)] 2011 Seventh International Conference on Semantics, Knowledge and Grids - Policy-Based SLA-Aware Cloud Service Provision Framework

✍ Wang, Zhilin; Tang, Xinhuai; Luo, Xiangfeng 📂 Article 📅 2011 🏛 IEEE ⚖ 1012 KB

[IEEE 2011 Seventh International Confere

[IEEE 2011 Seventh International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2011.10.24-2011.10.26)] 2011 Seventh International Conference on Semantics, Knowledge and Grids - ATL Transformation for the Generation of SCA Model

✍ Louhichi, Soumaya; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaalo 📂 Article 📅 2011 🏛 IEEE ⚖ 242 KB

[IEEE 2011 Seventh International Confere

[IEEE 2011 Seventh International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2011.10.24-2011.10.26)] 2011 Seventh International Conference on Semantics, Knowledge and Grids - A Hybrid Join Algorithm on Top of Map Reduce

✍ Hu, Weisong; Ma, Lili; Liu, Xiaowei; Qi, Hongwei; Zha, Li; Liao, Huaming; Zhang, 📂 Article 📅 2011 🏛 IEEE ⚖ 369 KB

[IEEE 2011 Seventh International Confere

[IEEE 2011 Seventh International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2011.10.24-2011.10.26)] 2011 Seventh International Conference on Semantics, Knowledge and Grids - Cyclic Workflow Execution Mechanism on Top of MapReduce Framework

✍ Wu, Rong; Shuai, Liang; Liao, Huaming 📂 Article 📅 2011 🏛 IEEE ⚖ 347 KB