×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
上海大学 [24]
内容类型
会议论文 [24]
发表日期
2018 [1]
2017 [4]
2016 [8]
2015 [4]
2014 [1]
2012 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共24条,第1-10条
帮助
限定条件
内容类型:会议论文
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
MeCo-TSM: Multi-Entity Complex Process-Oriented Service Modeling Method
会议论文
25th IEEE International Conference on Web Services, ICWS 2018, 2018-07-02
作者:
Li, Ying[1]
;
Xi, Meng[2]
;
Yin, Yuyu[3]
;
Luo, Zhiling[4]
;
Gao, Honghao[5]
收藏
  |  
浏览/下载:9/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
Applying probability model to the genetic algorithm based cloud rendering task scheduling
会议论文
29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017, 2017-07-05
作者:
Zhang, Guobin[1]
;
Xu, Huahu[2]
;
Gao, Honghao[3]
;
Liu, Ankang[4]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/24
Model Checking Cloud Rendering System for the QoS Evaluation
会议论文
2017 IEEE 28TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP), 2017-01-01
作者:
Liu, Haoyu[1]
;
Xu, Huahu[2]
;
Gao, Honghao[3]
;
Chu, Danqi[4]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/04/24
cloud rendering
DTMC model checking
reliability
PRISM
Answering who/when, what, how, why through constructing data graph, information graph, knowledge graph and wisdom graph
会议论文
29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017, 2017-07-05
作者:
Shao, Lixu[1]
;
Duan, Yucong[2]
;
Sun, Xiaobing[3]
;
Gao, Honghao[4]
;
Zhu, Donghai[5]
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/04/24
Reseach on The Safety Accidents Prediction for Smart Laboratory Based on Statistical Analysis
会议论文
4th Int Conf on Applied Computing and Information Technology / 3rd Int Conf on Computational Science/Intelligence and Applied Informatics / 1st Int Conf on Big Data, Cloud Computing, Data Science and Engineering (ACIT-CSII-BCD), 2016-01-01
作者:
Li, Ruizhi[1]
;
Gao, Honghao[2]
;
Chu, Danqi[3]
;
Zhang, Kang[4]
;
Xu, Huahu[5]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/26
Smart Laboratory
Statistical Analysis
SecurityCredit
K-Means
Accident Prediction
Research on the Safety Accidents Prediction for Smart Laboratory Based on Statistical Analysis
会议论文
4th International Conference on Applied Computing and Information Technology, 3rd International Conference on Computational Science/Intelligence and Applied Informatics and 1st International Conference on Big Data, Cloud Computing, Data Science and Engin, 2016-12-12
作者:
Li, Ruizhi[1]
;
Gao, Honghao[2]
;
Chu, Danqi[3]
;
Zhang, Kang[4]
;
Xu, Huahu[5]
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2019/04/26
Variability based Approach for Minimizing over Design and under Design
会议论文
7th International Conference on Mechanical, Industrial, and Manufacturing Technologies (MIMT), 2016-01-01
作者:
Duan, Yucong[1]
;
Narendra, Nanjangud C.[2]
;
Gao, Honghao[3]
;
Tang, Mingdong[4]
;
Elfaki, Abdelrahman Osman[5]
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2019/04/26
Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization
会议论文
13th IEEE International Conference on e-Business Engineering (ICEBE), 2016-11-04
作者:
Zhu, Yonghua[1]
;
Xue, Xiaoyi[2]
;
Zhang, Kai[3]
;
Mao, Shunyi[4]
;
Gao, Honghao[5]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/26
Probabilistic Model Checking
Express Delivery
Location Selection and Optimization
Formal Verification
PRISM
Applying Probabilistic Model Checking to Service Discovery Framework
会议论文
13th IEEE International Conference on Services Computing (SCC), 2016-06-27
作者:
Gao, Honghao[1]
;
Miao, Huaikou[2]
;
Duan, Yucong[3]
;
Kai, Jinyu[4]
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/04/26
Web Service
Probabilistic Model Checking
Service Discovery Framework
The Quantitative and Qualitative Verification
©版权所有 ©2017 CSpace - Powered by
CSpace