CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things 期刊论文
SECURITY AND COMMUNICATION NETWORKS, 2018
作者:  Lin, Weiwei[1];  Zeng, Hongwei[2];  Gao, Honghao[3];  Miao, Huaikou[4];  Wang, Xiaolin[5]
收藏  |  浏览/下载：20/0  |  提交时间：2019/04/22
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
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2018, 卷号: 28, 页码: 1369-1397
作者:  Gao, Honghao[1];  Miao, Huaikou[2];  Liu, Lilan[3];  Kai, Jinyu[4];  Zhao, Kun[5]
收藏  |  浏览/下载：14/0  |  提交时间：2019/04/22
A Novel Self-Adaptive VM Consolidation Strategy Using Dynamic Multi-Thresholds in IaaS Clouds 期刊论文
FUTURE INTERNET, 2018, 卷号: 10
作者:  Xie, Lei[1];  Chen, Shengbo[2];  Shen, Wenfeng[3];  Miao, Huaikou[4]
收藏  |  浏览/下载：13/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

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