开放环境特性感知技术
提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台,高效地感知环境特性,支持可信软件系统的构建.
谓词检测、环境特性、高可信软件、开放环境
22
TP311(计算技术、计算机技术)
国家自然科学基金60903024,60736015,60721002;国家重点基础研究发展计划9732009CB320702;江苏省攀登计划BK2008017
2011-08-17(万方平台首次上网日期,不代表论文的发表时间)
共12页
865-876