CORC

在结果中检索

CORC

浏览/检索结果: 共23条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Algorithms for checking channel passing in web service choreography 其他
2013-01-01
Yang, Hongli; Cai, Chao; Peng, Liyang; Zhao, Xiangpeng; Qiu, Zongyan; Qin, Shengchao
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/16
Performance analysis of data gathering protocol using prism 其他
2012-01-01
He, Kang; Yang, Hongli; Feng, Yachao; Liu, Yuan; Qiu, Zongyan
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17
Generating scenarios from Web service choreography 其他
2011-01-01
Ke, Zhang; Qiu, Zongyan; Yang, Hongli
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/12
Analysis of WS-BPEL processes in PRISM 其他
2011-01-01
Deng, Chen; Yang, Hongli; Liao, Husheng; Sun, Meng; Qiu, Zongyan
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12
A framework for integrating human processes with business artifacts 其他
2010-01-01
Zongyan, Qiu; Liyang, Peng; Hongli, Yang
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/12
A probabilistic QoS model-checking for dynamic routing protocol 其他
2010-01-01
Yang, Hongli; Zhou, Liang; He, Kang; Deng, Chen; Zhao, Xiangpeng; Qiu, Zongyan
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/12
Application of a novel backwashing process in upflow biological aerated filter 期刊论文
journal of environmental sciences china, 2010
Yang, Jinshui; Liu, Weijie; Li, Baozhen; Yuan, Hongli; Tong, Meiping; Gao, Jinsong
收藏  |  浏览/下载：8/0  |  提交时间：2015/11/12
A Formal model of human workflow 其他
2008-01-01
Zhao, Xiangpeng; Qiu, Zongyan; Cai, Chao; Yang, Hongli
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17
Reasoning about channel passing in choreography 其他
2008-01-01
Hongli, Yang; Chao, Cai; Liyang, Peng; Xiangpeng, Zhao; Zongyan, Qiu
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/12
Reasoning about channel passing in choreography 其他
2008-01-01
Yang Hongli; Cai Chao; Peng Liyang; Zhao Xiangpeng; Qiu Zongyan
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/16

©版权所有 ©2017 CSpace - Powered by CSpace