The University of North Carolina at Charlotte.;
机译:通过对IaaS资源进行正式建模来改善云中的安全性
机译:云管理架构提高云IAAS平台的资源分配
机译:基于Pliant的虚拟机调度解决方案,可提高IaaS云的能效
机译:论IAAS云环境中基于CTL的基于CTL的正式验证
机译:IPCFA:用于在IAAS公共云部署领域获取法学逻辑的数字证据的方法
机译:基于改进的OTSU算法的自动混凝土裂缝检测方法定影点云和图像
机译:基于形式规范语言的Iaas云工作负载回归 分析