Pre One:An Attribute-Based Availability Model for Large Scale IaaS Clouds with CARMA
Next One:一种基于Bio-PEPA的分布式虚拟化系统脆弱性扩散模型