Comput. Sci., Endicott Coll., Beverly, MA;
formal verification; resource allocation; utility programs; constraint sets; formal system; formal type-centric framework; multidimensional type system; pervasive sense-and-respond systems; pervasive sensory service composition language; service logic; service programmer; verification;
机译:实施形式验证的有资源限制的智能空间系统的框架
机译:普适计算系统的形式化建模与验证
机译:普遍存在和普遍系统的正式规范和验证
机译:一种以普遍感的感觉和响应系统在验证和资源分配中为中心的框架
机译:概率约束网:用于概率混合系统建模和验证的正式框架。
机译:动物疾病监测和资源分配的系统方法:行为分析的方法框架
机译:普适感知和响应系统中用于验证和资源分配的形式中心型框架†
机译:prospero资源管理器:分布式系统中处理器分配的可扩展框架