𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC) - Chengdu, China (2009.12.12-2009.12.14)] 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing - Dependability Analysis for AADL Models by PVS

✍ Scribed by Chen, Geng; Luo, Lei; Gong, Rong; Gui, Shenglin

Book ID: 118139008
Publisher: IEEE
Year: 2009
Weight: 217 KB
Volume: 0
Category: Article
ISBN: 0769539297
DOI: 10.1109/dasc.2009.45

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 International Conference on D

[IEEE 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC) - Chengdu, China (2009.12.12-2009.12.14)] 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing - Intrusion Detection in the Cloud

✍ Ros, Sebastian; Cheng, Feng; Meinel, Christoph 📂 Article 📅 2009 🏛 IEEE ⚖ 407 KB

[IEEE 2009 International Conference on D

[IEEE 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC) - Chengdu, China (2009.12.12-2009.12.14)] 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing - Multi-metric Routing Decisions in VANET

✍ Wang, Xiao-bo; Yang, Yu-liang; An, Jian-wei 📂 Article 📅 2009 🏛 IEEE ⚖ 354 KB

[IEEE 2009 International Conference on D

[IEEE 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC) - Chengdu, China (2009.12.12-2009.12.14)] 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing - Fast Complex Network Clustering Algorithm Using Agents

✍ Jin, Di; Liu, Dayou; Yang, Bo; Liu, Jie 📂 Article 📅 2009 🏛 IEEE ⚖ 268 KB

[IEEE 2009 International Conference on D

[IEEE 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC) - Chengdu, China (2009.12.12-2009.12.14)] 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing - A Service-Oriented Model for Autonomic Computing Elements Based upon Queuing Theory

✍ Zhao, Qian; Wang, Huiqiang; Feng, Guangsheng; Lu, Xu; Lv, Hongwu 📂 Article 📅 2009 🏛 IEEE ⚖ 299 KB

[IEEE 2009 International Conference on D

[IEEE 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC) - Chengdu, China (2009.12.12-2009.12.14)] 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing - A Software Agent Based Simulation Model for Systems with Decision Units

✍ Miao, Yuan 📂 Article 📅 2009 🏛 IEEE ⚖ 205 KB

[IEEE 2009 International Conference on D

[IEEE 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC) - Chengdu, China (2009.12.12-2009.12.14)] 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing - Cloud Security with Virtualized Defense and Reputation-Based Trust Mangement

✍ Hwang, Kai; Kulkareni, Sameer; Hu, Yue 📂 Article 📅 2009 🏛 IEEE ⚖ 382 KB