余建平

作品数:1被引量:6H指数:1
导出分析报告
供职机构:南京大学更多>>
发文主题:环境特性开放环境高可信软件感知技术感知更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《软件学报》更多>>
所获基金:国家自然科学基金国家重点基础研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
开放环境特性感知技术被引量:6
《软件学报》2011年第5期865-876,共12页黄宇 余建平 马晓星 陶先平 吕建 
国家自然科学基金(60903024;60736015;60721002);国家重点基础研究发展计划(973)(2009CB320702);江苏省攀登计划(BK2008017)
提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通...
关键词:谓词检测 环境特性 高可信软件 开放环境 
检索报告 对象比较 聚类工具 使用帮助 返回顶部