State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, 210093,Department of Computer Science and Technology Nanjing University, Nanjing, China, 210093;
State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, 210093,Department of Computer Science and Technology Nanjing University, Nanjing, China, 210093;
Internet and Mobile Computing Lab, Department of Computing Hong Kong Polytechnic University, Hong Kong, China;
State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, 210093,Department of Computer Science and Technology Nanjing University, Nanjing, China, 210093;
lattice; property detection; asynchronous environment; context-awareness;
机译:异步普适计算环境中动态属性的形式化规范和运行时检测
机译:异步普适计算环境中并发属性的运行时检测
机译:在运行时通过解释模型对普适服务进行上下文自适应协调
机译:普遍上下文的运行时属性检测的格子理论方法
机译:多元DNA分类:评估环境条件,标本特性和实验室策略对古代和具有挑战性的标本中DNA的保存和检测的影响
机译:在阿拉伯语环境下测试大学生环境态度清单的心理计量特性:一种测试-再测试方法
机译:异步普适计算环境中动态属性的正式规范和运行时检测
机译:上下文中的运行时验证:优化错误检测可以改善故障诊断