𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Shenzhen, China (2012.04.11-2012.04.13)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - Online Model Checking for Dependable Real-Time Systems

✍ Scribed by Zhao, Yuhong; Rammig, Franz

Book ID: 120834102
Publisher: IEEE
Year: 2012
Weight: 331 KB
Category: Article
ISBN: 1467304999
DOI: 10.1109/ISORC.2012.28

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 IEEE 15th International Sympo

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Shenzhen, China (2012.04.11-2012.04.13)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - An Optimized Compilation of UML State Machines

✍ Charfi, Asma; Mraidha, Chokri; Boulet, Pierre 📂 Article 📅 2012 🏛 IEEE ⚖ 1006 KB

[IEEE 2012 IEEE 15th International Sympo

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Shenzhen, China (2012.04.11-2012.04.13)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - Providing Real-Time Scheduling for Mobile Agents in the JADE Platform

✍ Filgueiras, Tatiana Pereira; Lung, Lau Cheuk; Rech, Luciana de Oliveira 📂 Article 📅 2012 🏛 IEEE ⚖ 547 KB

[IEEE 2012 IEEE 15th International Sympo

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) - Shenzhen, TBD, China (2012.04.11-2012.04.11)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - Scalable Architectures for SaaS

✍ Tsai, Wei-Tek; Huang, Yu; Bai, Xiaoying; Gao, Jerry 📂 Article 📅 2012 🏛 IEEE ⚖ 238 KB

[IEEE 2012 IEEE 15th International Sympo

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Shenzhen, China (2012.04.11-2012.04.13)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - Neural Network-Based Overallocation for Improved Energy-Efficiency in Real-Time Cloud Environments

✍ Moreno, Ismael Solis; Xu, Jie 📂 Article 📅 2012 🏛 IEEE ⚖ 383 KB

[IEEE 2012 IEEE 15th International Sympo

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) - Shenzhen, TBD, China (2012.04.11-2012.04.11)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - Real-Time Performance Prediction for Cloud Components

✍ Zhang, Yilei; Zheng, Zibin; Lyu, Michael R. 📂 Article 📅 2012 🏛 IEEE ⚖ 213 KB

[IEEE 2012 IEEE 15th International Sympo

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) - Shenzhen, TBD, China (2012.04.11-2012.04.11)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - Real-Time Fault-Tolerance in Federated Cloud Environments

✍ Garraghan, Peter; Townend, Paul; Xu, Jie 📂 Article 📅 2012 🏛 IEEE ⚖ 258 KB