×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
西安理工大学 [6]
内容类型
会议论文 [3]
期刊论文 [3]
发表日期
2015 [6]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共6条,第1-6条
帮助
限定条件
发表日期:2015
专题:西安理工大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Explaining Software Failures by Cascade Fault Localization
期刊论文
2015, 卷号: 20
作者:
Yi, Qiuping
;
Yang, Zijiang
;
Liu, Jian
;
Zhao, Chen
;
Wang, Chao
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/20
Verification
Reliability
Algorithms
fault localization
weakest precondition
constraint
satisfiability modulo theory (SMT)
A Rejuvenation Model for Software System under Normal Attack
会议论文
Joint 14th IEEE Int Conf on Trust, Secur and Privacy in Comp and Commun / 13th IEEE Int Symposium on Parallel and Distributed Proc with Applications / 9th IEEE Int Conf on Big Data Science and Engineering (IEEE TrustCom-ISPA-BigDataSE), Aalto Univ, Helsinki, FINLAND, 2015-08-20
作者:
Meng, Haining
;
Hei, Xinhong
;
Li, Yon
;
Du, Yanning
;
Xie, Guo
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/20
software aging
software rejuvenation
Markov stochastic Petri nets
Markov regenerative theory
software availability
downtime cost
Taxonomy of software attack technique oriented to automated modeling
期刊论文
2015, 卷号: 47, 页码: 91-98
作者:
Wang, Jinrong
;
Fang, Dingyi
;
Chen, Xiaojiang
;
Wang, Huaijun
;
He, Lu
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/20
Evaluation of MTANNs for eliminating false-positive with different computer aided pulmonary nodules detection software
期刊论文
2015, 卷号: 28, 页码: 2311-2316
作者:
Shi, Zhenghao
;
Ma, Jiejue
;
Feng, Yaning
;
He, Lifeng
;
Suzuki, Kenji
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/20
False positive
MTANNs
computer-aided diagnosis
The Auto control System Based on InTouch Configuration software for High-gravity Oil Railway Tank Feeding
会议论文
7th International Conference on Mechanical and Electronics Engineering (ICMEE), Dalian, PEOPLES R CHINA, 2015-09-26
作者:
Xu, De-Kai
;
Wang, Li-Jie
;
Shi, Wei-Chao
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/20
Design and Implementation of Photoelectric Rotary Table Data-Acquisition and Analysis System Host Computer Software Based on VC plus plus and MFC
会议论文
International Conference on Photonics and Optical Engineering (icPOE), Xian, PEOPLES R CHINA, 2014-10-13
作者:
Yang, Dawei
;
Yang, Xiufang
;
Han, Junfeng
;
Yan, Xiaoxu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/20
data acquisition and analysis
VC plus
MFC
serial communication
©版权所有 ©2017 CSpace - Powered by
CSpace