机构

• 计算技术研究所 [4]
• 软件研究所 [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [5]

发表日期

• 2012 [2]
• 2009 [1]
• 2008 [2]

学科主题

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于扩展自动机的服务组合静态与动态验证方法 期刊论文  OAI收割 通信学报, 2012, 期号: S1, 页码: 1-8 张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳   |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17 Web服务组合  定量属性  有限自动机  CTL  UPPAAL   QSynth．TopK：一个支持TopK查询的质量敏感的自动服务组合系统 期刊论文  OAI收割 电子学报, 2012, 卷号: 40.0, 期号: 010, 页码: 1933 作者:  马环宇;  姜伟;  虎嵩林   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 自动服务组合  服务质量  top  k  图搜索   一种基于自动服务组合的快速流程建模工具 期刊论文  OAI收割 微电子学与计算机, 2009, 卷号: 000, 期号: 008, 页码: 6 作者:     |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 业务流程建模  自动服务组合  WS-BPEL   一种大规模网络上的服务组合流程搜索方法 期刊论文  OAI收割 计算机研究与发展, 2008, 期号: 第9期, 页码: 1524~1531页 作者:  虎嵩林;  姜 伟;  李 伟;  梁 英   |  收藏  |  浏览/下载：7/0  |  提交时间：2010/10/12 分布式发布订阅  基于内容的路由  自动服务组合  流程搜索  服务查找   一种大规模网络上的服务组合流程搜索方法 期刊论文  OAI收割 计算机研究与发展, 2008, 卷号: 45.0, 期号: 009, 页码: 1524 作者:  虎嵩林;  梁英;  姜伟;  李伟   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 分布式发布订阅  基于内容的路由  自动服务组合  流程搜索  服务查找