𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Dynamic Service Replacement to Improve Composite Service Reliability

✍ Scribed by Kim, Jong-Phil; Hong, Jang-Eui

Book ID: 120512796
Publisher: IEEE
Year: 2011
Weight: 272 KB
Category: Article
ISBN: 1457707802
DOI: 10.1109/SSIRI.2011.23

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 International Conference on S

[IEEE 2011 International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Automatic Synthesis of Static Fault Trees from System Models

✍ Xiang, Jianwen; Yanoo, Kazuo; Maeno, Yoshiharu; Tadano, Kumiko 📂 Article 📅 2011 🏛 IEEE ⚖ 585 KB

[IEEE 2011 International Conference on S

[IEEE 2011 International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Probabilistic Risk Assessment for Security Requirements: A Preliminary Study

✍ Lee, Seok-Won 📂 Article 📅 2011 🏛 IEEE ⚖ 611 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - Secure Machine Learning, a Brief Overview

✍ Liao, Xiaofeng; Ding, Liping; Wang, Yongji 📂 Article 📅 2011 🏛 IEEE ⚖ 208 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - Verifying the Safety of Xen Security Modules

✍ Han, Wei; He, Yeping; Ding, Liping 📂 Article 📅 2011 🏛 IEEE ⚖ 312 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - Static Data Race Detection for Interrupt-Driven Embedded Software

✍ Chen, Rui; Guo, Xiangying; Duan, Yonghao; Gu, Bin; Yang, Mengfei 📂 Article 📅 2011 🏛 IEEE ⚖ 394 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems

✍ Cao, Yan; Lu, Qiuzi; Xu, Tianhua; Tang, Tao; Wang, Haifeng; Xu, Yongcheng 📂 Article 📅 2011 🏛 IEEE ⚖ 543 KB