𝔖 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 - Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations

✍ Scribed by Filou, Vincent; Mosbeh, Mohamed; Tounsi, Mohamed

Book ID: 120645315
Publisher: IEEE
Year: 2013
Weight: 427 KB
Category: Article
ISBN: 1479904058
DOI: 10.1109/WETICE.2013.67

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 - 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 - From Event-B Specifications to Programs for Distributed Algorithms

✍ Tounsi, Mohamed; Mosbah, Mohamed; Mery, Dominique 📂 Article 📅 2013 🏛 IEEE ⚖ 517 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 - 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 - 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 - WSCLT: A Tool for WS-BPEL Compositions Load Testing

✍ Maalej, Afef Jmal; Hamza, Manel; Krichen, Moez 📂 Article 📅 2013 🏛 IEEE ⚖ 470 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