CORC

浏览/检索结果: 共8条,第1-8条 帮助

已选(0)清除 条数/页:   排序方式:
Software Engineering for Internet Computing Internetware and Beyond 期刊论文
ieee software, 2015
Bertolino, Antonia; Blake, M. Brian; Mehra, Pankaj; Mei, Hong; Xie, Tao
收藏  |  浏览/下载:4/0  |  提交时间:2015/11/11
Verification of channel passing in choreography with model checking 其他
2009-01-01
Peng, Liyang; Cai, Chao; Zongyan, Qiu; Pu, Geguang
收藏  |  浏览/下载:6/0  |  提交时间:2015/11/12
Model-checking of web services choreography 其他
2008-01-01
Hongli, Yang; Xiangpeng, Zhao; Chao, Cai; Zongyan, Qiu
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/17
Exploring the connection of choreography and orchestration with exception handling and finalization/compensation 其他
2007-01-01
Yang, Hougli; Zhao, Xiangpeng; Cai, Chao; Qiu, Zongyan
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/16
Exploring the connection of choreography and orchestration with exception handling and finalization/compensation 其他
2007-01-01
Hongli, Yang; Xiangpeng, Zhao; Chao, Cai; Zongyan, Qiu
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13
A formal model for Web Service Choreography Description Language (WS-CDL) 其他
2006-01-01
Yang, Hongli; Zhao, Xiangpeng; Qiu, Zongyan; Pu, Geguang; Wang, Shuling
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies 会议论文
Suzhou, PEOPLES R CHINA, APR 02-04, 2009
作者:  Xia, Yunni[1];  Chen, Jun[2];  Zhou, Mingqiang[1];  Huang, Yu[1]
收藏  |  浏览/下载:1/0  |  提交时间:2019/11/28
A petri-net-based approach to QoS estimation of web service choreographies 会议论文
Suzhou, China, April 2, 2009 - April 4, 2009
作者:  Xia, Yunni[1];  Chen, Jun[2];  Zhou, Mingqiang[1];  Huang, Yu[1]
收藏  |  浏览/下载:0/0  |  提交时间:2019/11/30


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