𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - From Event-B Specifications to Programs for Distributed Algorithms

✍ Scribed by Tounsi, Mohamed; Mosbah, Mohamed; Mery, Dominique

Book ID: 121219699
Publisher: IEEE
Year: 2013
Weight: 517 KB
Category: Article
ISBN: 1479904058
DOI: 10.1109/WETICE.2013.44

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 IEEE 22nd International Works

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - Autonomic Energy-Aware Tasks Scheduling

✍ Guerout, Tom; Alaya, Mahdi Ben 📂 Article 📅 2013 🏛 IEEE ⚖ 449 KB

[IEEE 2013 IEEE 22nd International Works

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - Towards Context-Aware Deployment and Reconfiguration

✍ Hammami, Amir; Villemur, Thierry; Guerout, Tom 📂 Article 📅 2013 🏛 IEEE ⚖ 313 KB

[IEEE 2013 IEEE 22nd International Works

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - Agent Behaviour Monitoring in Virtual Organizations

✍ Shadi, Mahdieh; Afsarmanesh, Hamideh; Dastani, Mehdi 📂 Article 📅 2013 🏛 IEEE ⚖ 419 KB

[IEEE 2013 IEEE 22nd International Works

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations

✍ Filou, Vincent; Mosbeh, Mohamed; Tounsi, Mohamed 📂 Article 📅 2013 🏛 IEEE ⚖ 427 KB

[IEEE 2013 IEEE 22nd International Works

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - Developing Adapters for Structural Adaptation of Component-Based Applications

✍ Lahmar, Imen Ben; Belaid, Djamel 📂 Article 📅 2013 🏛 IEEE ⚖ 450 KB

[IEEE 2013 IEEE 22nd International Works

[IEEE 2013 IEEE 22nd International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Hammamet, Tunisia (2013.06.17-2013.06.20)] 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - WSCLT: A Tool for WS-BPEL Compositions Load Testing

✍ Maalej, Afef Jmal; Hamza, Manel; Krichen, Moez 📂 Article 📅 2013 🏛 IEEE ⚖ 470 KB