CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
The indetermination of the translation - the case of the translation of the word "honor" into Chinese 期刊论文
SOCIAL SCIENCE INFORMATION SUR LES SCIENCES SOCIALES, 2018, 卷号: 57, 期号: 1
作者:  Li Wenrui
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
An Automatic Recovery Mechanism for Cloud Service Composition 期刊论文
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2016, 卷号: 13, 期号: 1
作者:  Li, Wenrui;  Cheng, Yan;  Zhang, Pengcheng;  Leung, Hareton
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/05
Causal inference based service dependency graph for statistical service fault localization 期刊论文
Proceedings - 2014 10th International Conference on Semantics, Knowledge and Grids, SKG 2014, 2014
作者:  Liu, Wenrui;  Luo, Haoyu;  Li, Lixian;  Li, Juan;  Zhou, Zhangbing
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
Causal Inference Based Service Dependency Graph for Statistical Service Fault Localization 会议论文
作者:  Li, Lixian;  Liu, Jin;  Zhou, Zhangbing;  Luo, Haoyu;  Liu, Wenrui
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05
On the semantics of scenario-based specification based on timed computational tree logic 期刊论文
Proceedings of the Australian Software Engineering Conference, ASWEC, 2013
作者:  Zhang, Pengcheng;  Li, Wenrui
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
On the semantics of scenario-based specification based on timed computational tree logic 会议论文
作者:  Li, Wenrui;  Zhang, Pengcheng
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/05
COMPARING AND IMPROVING THE SYNTHESIS OF STATE-BASED SPECIFICATIONS FROM SCENARIO-BASED SPECIFICATIONS 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 卷号: 22, 期号: 7
作者:  Wang, Zhijian;  Li, Wenrui;  Zhang, Pengcheng
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/05
Positioning of the CE-1's impact site based on CCD image data photographed during the controlled impact on the Moon 期刊论文
SCIENCE CHINA-EARTH SCIENCES, 2012, 卷号: 55, 期号: 1
作者:  Liu JianJun;  Ren Xin;  Zou XiaoDuan;  Wang WenRui;  Mou LingLi
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/05
Generating probabilistic temporal logic formulas from probabilistic scenario-based specifications 期刊论文
Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, 2011
作者:  Li, Wenrui;  Zhang, Pengcheng;  Wang, Zhijian;  Yang, Zhongxue
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
Model checking WS-BPEL with universal modal sequence diagrams 期刊论文
Proceedings - 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, 2011
作者:  Yang, Zhongxue;  Li, Wenrui;  Zhang, Pengcheng;  Wang, Zhijian
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05

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