云南高校图书馆联盟文献共享服务平台- PI演算

PI演算: 作品数：73被引量：109H指数：5; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：郭小群郝克刚侯红李彤莫启更多>>; 相关机构：吉林大学西北大学武汉大学云南大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>

-

在结果中检索

检索结果分析

结果分析中...

选择条件：

基金=国家科技支撑计划

共条记录，以下是1-1

全选清除导出

参考文献引证文献引用追踪

视图：

排序：

基于RGPS服务本体交互建模分析与验证: 《小型微型计算机系统》2013年第3期461-465,共5页黄贻望何克清李征黄颖袁科; 国家科技支撑计划项目(2012BAH07B01)资助;国家自然科学基金项目(60970017)资助;金蝶项目国家云计算示范工程资助;中央高校基本科研业务费专项资金项目(201121102020004;2012211020201)资助;江西省教育厅项目(GJJ11216)资助;贵州省科学技术厅;铜仁市科学技术局;铜仁学院联合基金项目(黔科合J字LKT[2012]04号)资助;铜仁学院科研启动基金项目(TS10013)资助; 在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方法和工具是热点领域.针对现有研究主要是集中于服务组合流程和静态结构方面,而在动态反映用户需求的服务...; 关键词：RGOWL-S PI演算进程 RGPS

全选清除导出

共1页<1>

检索报告对象比较聚类工具使用帮助返回顶部