机译:云系统中的形式化和模拟跨层弹性策略
Univ Pau LIUPPA Lab Pau France;
Univ Pau LIUPPA Lab Pau France;
Constantine 2 Univ LIRE Lab Constantine Algeria;
Self-adaptation; Cloud computing; Cross-layer elasticity strategies; Formal methods; Bigraphical reactive systems; Rewriting logic; Maude; Linear temporal logic; Queuing theory;
机译:云系统中的正式建模和验证弹性策略
机译:基于弹性的云计算环境中糖尿病预测的MED云推荐系统
机译:面向云弹性管理的模糊二元多代理系统
机译:云系统中跨层弹性策略的建模和评估
机译:与军事机器人系统开发相关的技术投资策略的决策理论分析和形式化技术。
机译:模拟传感器系统的快速预测策略
机译:云系统中的跨层弹性策略建模与评估
机译:人类风险贡献的形式化搜索策略。进一步发展的框架