formal modeling and verification; pervasive computing; predicate abstraction; service management;
机译:普适计算中上下文和情境模型的形式验证
机译:普适计算系统的形式化建模与验证
机译:社交客户关系管理系统中服务组合方法的正式建模和验证
机译:普遍计算环境服务管理的正式建模与验证
机译:云计算中服务级别协议的形式化建模和动态验证。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:普适计算环境中服务管理的正式建模和验证
机译:在普适计算环境中通过传播服务进行可穿戴通知。