Cloud Computing; Elasticity; Cross-layer elastic behavior Modeling; Bigraphical Reactive Systems; Maude;
机译:云系统中的正式建模和验证弹性策略
机译:STRATFram:用于描述和评估云中基于服务的业务流程的弹性策略的框架
机译:Stratfram:用于描述和评估云中服务业务流程弹性策略的框架
机译:云系统中的跨层弹性策略建模与评估
机译:使用SystemC / SystemC-AMS和跨层协同仿真工具的混合信号SoC的系统/体系结构级设计和建模。
机译:云材料处理系统:处理活动的概念模型和基于云的计划
机译:云系统中的跨层弹性策略建模与评估