cloud computing; contracts; public domain software; OpenNebula cloud system; SLAC; open-source software framework; service-level-agreement language for cloud computing; Measurement; Monitoring; Pricing; Random access memory; Semantics; Syntactics; Cloud Computing; Constraint satisfaction problems; Formal Languages; Service Level Agreement;
机译:云计算中的服务描述语言:最先进的和研究问题
机译:WILL 2020用于结构化和高效并行和分布式/云计算的安全语言和技术的研讨会
机译:基于并行计算的云计算外语教学管理系统设计
机译:SLAC:用于云计算的正式服务级别协议语言
机译:云计算中服务级别协议的形式化建模和动态验证。
机译:使用车辆云计算和远程云计算的认知车辆网络中的计算卸载
机译:激酶计算:概念,方法和功能(代数系统,形式语言以及常规和非常规计算理论)
机译:计算科学。多核系统管理的形式化规范和原型语言。