𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams

✍ Scribed by Bendaly Hlaoui, Yousra; Jemni Benayed, Leila

Book ID: 121872865
Publisher: IEEE
Year: 2010
Weight: 266 KB
Category: Article
ISBN: 1424470676
DOI: 10.1109/NOTERE.2010.5536654

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 10th Annual International Con

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - WSRD: A web services registry description

✍ Sellami, Mohamed; Bouchaala, Olfa; Gaaloul, Walid; Tata, Samir 📂 Article 📅 2010 🏛 IEEE ⚖ 377 KB

[IEEE 2010 10th Annual International Con

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Network service provisioning using system-level virtualization

✍ Hamidi, Ali; Salimi, Hadi; Sharifi, Mohsen 📂 Article 📅 2010 🏛 IEEE ⚖ 579 KB

[IEEE 2010 10th Annual International Con

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Towards a user intention aware service composition

✍ Fki, Emna; Tazi, Said; Chantal Soule Dupuy, 📂 Article 📅 2010 🏛 IEEE ⚖ 138 KB

[IEEE 2010 10th Annual International Con

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - A survey of live migration in virtual network environment (VNE)

✍ Jebalia, Maha; Ben Letaifa, Asma; Tabbane, Sami 📂 Article 📅 2010 🏛 IEEE ⚖ 702 KB

[IEEE 2010 10th Annual International Con

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services

✍ Marzouk, Soumaya; Jmaiel, Mohamed 📂 Article 📅 2010 🏛 IEEE ⚖ 544 KB

[IEEE 2010 10th Annual International Con

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Towards a Model-Driven Engineering approach for developing adaptive real-time embedded systems

✍ Boukhanoufa, Mohamed-Lamine; Radermacher, Ansgar; Terrier, Francois 📂 Article 📅 2010 🏛 IEEE ⚖ 267 KB