中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 32)

Items/Page:    Sort:
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes [期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2015-01-01, 卷号: 110, 页码: 205-221
Chen, J; Xu, XW; Osterweil, LJ; Zhu, LM; Brun, Y; Bass, L; Xiao, JC; Li, MS; Wang, Q
  |  
 
带时间和资源约束的实例化过程模型验证方法 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松

 
Godson-T缓存一致性协议的Murphi建模和验证 [期刊论文]
计算机系统应用, 2013-01-01, 期号: 10, 页码: 124-128
周琰

 
a target-reaching controller for mobile robots using spiking neural networks [会议论文]
19th International Conference on Neural Information Processing, ICONIP 2012, Doha, Qatar, November 12, 2012 - November 15, 2012
Wang Xiuqing; Hou Zeng-Guang; Lv Feng; Tan Min; Wang Yongji

 
基于风险管理的软件开发过程模型及其复合实物期权分析 [期刊论文]
管理工程学报, 2010-01-01, 卷号: 24, 期号: 2, 页码: 61-67
陈涛; 丛国栋; 于本海; 张金隆
  |  
 
formal based operation strategy design for collaborative shared teleoperation system [会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu
  |  
 
formal verification of hmqv using asm-spv [会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Huang Danqing; Xue Rui; Liu Feng; Peng Jianhua; Zhao Zhenju; Ji Dongyao
  |  
 
asm-spv: a model checker for security protocols [会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui
  |  
 
automated test program generation for an industrial optimizing compiler [会议论文]
4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering, Vancouver, CANADA, MAY 18-19,
Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui
  |  
 
a service-oriented business process modeling methodology and implementation [会议论文]
International Conference on Interoperability for Enterprise Software and Applications China, Beijing, PEOPLES R CHINA, APR 21-22,
Bai Lin; Wei Jun

 

1 2 3 4 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace