QQ客服 官方微博 反馈留言

浏览/检索结果: 共17条，第1-10条 帮助 限定条件 内容类型：其他     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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 web service choreography  channel passing  algorithms  INTERACTION PATTERNS  SYSTEM-DESIGN  CONFORMANCE  ORCHESTRATION  PROTOCOLS   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 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 Model-checking of web services choreography 其他 2008-01-01 Hongli, Yang; Xiangpeng, Zhao; Chao, Cai; Zongyan, Qiu 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/17 Correct Channel Passing by Construction 其他 2008-01-01 Cai, Chao; Qiu, Zongyan; Zhao, Xiangpeng; Yang, Hongli 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16 Choreography  Orchestration  Channel passing  Web Services  Formal Methods  SYSTEM-DESIGN  WEB SERVICES  ORCHESTRATION  CHOREOGRAPHY  CONFORMANCE   A Formal Model for Channel Passing in Web Service Composition 其他 2008-01-01 Cai Chao; Yang Hongli; Zhao Xiangpeng; Qiu Zongyan 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/12 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 Towards the theoretical foundation of choreography 其他 2007-01-01 Qiu, Zongyan; Zhao, Xiangpeng; Cai, Chao; Yang, Hongli 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/13