rewriting logic; distributed systems; cloud computing; formal analysis; coordination languages; composite actor model;
机译:Maude中KLAIM模型的语义,分布式实现和形式分析
机译:基于云的Cherenkov望远镜阵列观察模拟的架构:优化,设计和结果
机译:基于系统服务架构的基于云的跟踪平台设计
机译:基于云的架构与大斗鸡和摩德的设计与分析
机译:建立基于云的信息系统实验室架构:推导设计原则,促进了基于云的实验室环境的有效建设和评估
机译:基于云的临床决策支持服务医疗软件即服务平台的架构设计
机译:建立基于云的信息系统实验室体系结构:推导有助于有效构建和评估基于云的实验室环境的设计原则