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

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
Eliciting dependability requirements: A control cases based approach [期刊论文]
Science China Information Sciences, 2014-01-01, 卷号: 57, 期号: 1, 页码: 1-15
Liu, Chun (3); Wang, Yue (3); Zhang, Wei (1); Jin, Zhi (1)

 
"Use case+control case" driven approach for software analysis and design [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2013-01-01, 卷号: 24, 期号: 4, 页码: 675-695
Liu, Chun (3); Zhang, Wei (1); Zhao, Hai-Yan (1); Jin, Zhi (1)

 
an identity-based authentication scheme in cloud computing [会议论文]
2012 International Conference on Industrial Control and Electronics Engineering, ICICEE 2012, Xi'an, China, August 23, 2012 - August 25, 2012
Zhang Zhi-Hua; Jiang Xue-Feng; Li Jian-Jun; Jiang Wei

 
an new anonymous authentication scheme for cloud computing [会议论文]
2012 7th International Conference on Computer Science and Education, ICCSE 2012, Melbourne, VIC, Australia, July 14, 2012 - July 17, 2012
Zhang Zhi-Hua; Li Jian-Jun; Jiang Wei; Zhao Yong; Gong Bei

 
optimal number of quantum wells for blue ingan/gan light-emitting diodes [期刊论文]
Applied Physics Letters, 2012-01-01, 卷号: 100, 期号: 26, 页码: -
Xia Chang Sheng; Simon Li Z.M.; Li Z.Q.; Sheng Yang; Zhang Zhi Hua; Lu Wei; Cheng Li Wen

 
a multi-cycle checkpointing protocol that ensures strict 1-rollback [期刊论文]
Information Processing Letters, 2012-01-01, 卷号: 112, 期号: 20, 页码: 788-793
Ci Yi-Wei; Zhang Zhan; Zuo De-Cheng; Wu Zhi-Bo; Yang Xiao-Zong
  |  
 
knowledge guided software trustworthiness requirements elicitation [期刊论文]
Jisuanji Xuebao/Chinese Journal of Computers, 2011-01-01, 卷号: 34, 期号: 11, 页码: 2165-2175
Wang Yue; Liu Chun; Zhang Wei; Jin Zhi

 
bench4q: a qos-oriented e-commerce benchmark for internetwares [会议论文]
1st Asia-Pacific Symposium on Internetware, Internetware 2009, Beijing, China, 40833
Wen-Bo Zhang; Wei Wang; Zhi-Quan Duan

 
an empirical study on interoperability between service discovery protocols [会议论文]
5th International Conference on Embedded and Ubiquitous Computing, Shanghai, PEOPLES R CHINA, DEC 17-20,
Jin Beihong; Zang Zhi; Zhang Liang
  |  
 
an algebraic framework for schema matching [期刊论文]
INFORMATICA, 2008-01-01, 卷号: 19, 期号: 3, 页码: 421-446
Zhang Zhi; Shi Pengfei; Che Haoyang; Gu Jun
  |  
 

1 2 next

 

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