CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
Comparison of query languages for semantic database models 会议论文
2018 International Conference on Computing and Data Engineering, ICCDE 2018, 2018-05-04
作者:  Thiam, Ablaye[1];  Xu, Dong[2];  Miao, Huaikou[3];  Niu, Zhihua[4]
收藏  |  浏览/下载：7/0  |  提交时间：2019/04/22
An novel approach to evaluate the reliability of cloud rendering system using probabilistic model checker PRISM: A quantitative computing perspective 会议论文
14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017, 2017-11-07
作者:  Liu, Haoyu[1];  Xu, Huahu[2];  Gao, Honghao[3];  Bian, Minjie[4];  Miao, Huaikou[5]
收藏  |  浏览/下载：11/0  |  提交时间：2019/04/24
A Framework for Multi-view Reconciliation and, for Medical Devices Personalization 会议论文
19th International Conference on Formal Engineering Methods, ICFEM 2017, 2017-11-13
作者:  Chen, Yihai[1];  Zhang, Bofang[2];  Khedri, Ridha[3];  Miao, Huaikou[4]
收藏  |  浏览/下载：8/0  |  提交时间：2019/04/24
An Empirical Study on Clustering Approach Combining Fault Prediction for Test Case Prioritization 会议论文
16th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2017-05-24
作者:  Xiao, Lei[1];  Miao, Huaikou[2];  Zhuang, Weiwei[3];  Chen, Shaojun[4]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26
Automated Safety Analysis on Scenario-Based Requirements for Train Control System 会议论文
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2017-01-01
作者:  Wang, Xi[1];  Miao, Huaikou[2];  Miao, Weikai[3]
收藏  |  浏览/下载：7/0  |  提交时间：2019/04/24
Instant-Based and State-Based Analysis of Infinite Logical Clock 会议论文
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2017-01-01
作者:  Xu, Qingguo[1];  Miao, Huaikou[2];  de Simone, Robert[3];  DeAntoni, Julien[4]
收藏  |  浏览/下载：12/0  |  提交时间：2019/04/24
Test Case Prioritization based on Requirement Correlations 会议论文
17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2016-05-30
作者:  Ma, Tingting[1];  Zeng, Hongwei[2];  Wang, Xiaolin[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26
Divergence Detection for CCSL Specification via Clock Causality Chain 会议论文
2nd International Symposium on Dependable Software Engineering - Theories, Tools and Applications (SETTA), 2016-11-09
作者:  Xu, Qingguo[1];  de Simone, Robert[2];  DeAntoni, Julien[3]
收藏  |  浏览/下载：6/0  |  提交时间：2019/04/26
An Executable Model and Testing for Web Software based on Live Sequence Charts 会议论文
15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2016-06-26
作者:  Li, Liping[1];  Gao, Honghao[2];  Shan, Tang[3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/26
Applying Assemble Clustering Algorithm and Fault Prediction to Test Case Prioritization 会议论文
Annual International Conference on Software Analysis, Testing and Evolution (SATE), 2016-11-03
作者:  Xiao, Lei[1];  Miao, Huaikou[2];  Zhuang, Weiwei[3];  Chen, Shaojun[4]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26

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