×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
上海大学 [37]
内容类型
会议论文 [28]
期刊论文 [9]
发表日期
2019 [1]
2018 [4]
2017 [5]
2016 [6]
2015 [3]
2014 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共37条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation
期刊论文
MOBILE INFORMATION SYSTEMS, 2019
作者:
Wang, Xiaolin[1]
;
Zeng, Hongwei[2]
;
Gao, Honghao[3]
;
Miao, Huaikou[4]
;
Lin, Weiwei[5]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/22
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
Service system
design visualization
quantitative verification
probabilistic model checking
model transformations
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
self-adaptive VM consolidation
dynamic multi-thresholds
energy consumption
QoS
IaaS clouds
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
clustering algorithm
fault prediction
test case prioritization
empirical study
An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process
期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 11700-11711
作者:
Gao, Honghao[1]
;
Duan, Yucong[2]
;
Miao, Huaikou[3]
;
Yin, Yuyu[4]
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/04/24
Service process modeling
data replacement patterns
critical path
data consistency
similarity degree computing
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
CCSL
Clock model
State transition system
Infinite clock
©版权所有 ©2017 CSpace - Powered by
CSpace