云南高校图书馆联盟文献共享服务平台- 时态认知逻辑

时态认知逻辑: 作品数：11被引量：25H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：骆翔宇苏开乐吴立军周从华孙博更多>>; 相关机构：中山大学桂林电子科技大学华侨大学清华大学更多>>; 相关期刊：《计算机学报》《电子学报》《小型微型计算机系统》《计算机研究与发展》更多>>; 相关基金：国家自然科学基金中国博士后科学基金广西青年科学基金国家重点基础研究发展计划更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于Verics的组合Web服务有界模型检测: 《小型微型计算机系统》2011年第3期412-415,共4页骆翔宇轩爱成沙宗鲁; 国家自然科学基金项目(9071803960763004)资助;中国博士后科学基金项目(20090450389)资助;广西青年科学基金项目(桂科青0728090)资助;广西研究生教育创新计划项目(2008105950812M424)资助; 传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成...; 关键词：有界模型检测时态认知逻辑 WEB服务时间自动机 Verics