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

Search Results

Help

Item hits: (Results 1-10 of 24)

Filters    
Items/Page:    Sort:
一种基于程序变异的软件错误定位技术 [期刊论文]
计算机学报, 2013-01-01, 卷号: 36, 期号: 11, 页码: 2236-2244
贺韬; 王欣明; 周晓聪; 李文军; 张震宇; 张成志

 
forgeability of wang-zhu-feng-yau's attribute-based signature with policy-and-endorsement mechanism [期刊论文]
Journal of Computer Science and Technology, 2013-01-01, 卷号: 28, 期号: 4, 页码: 743-748
Ge Ai-Jun; Huang Xin-Yi; Chen Cheng; Ma Chuan-Gui; Zhang Rui

 
e-block: a tangible programming tool with graphical blocks [期刊论文]
Mathematical Problems in Engineering, 2013-01-01, 卷号: 2013, 页码: -
Wang Danli; Zhang Yang; Chen Shengyong

 
finding orthogonal latin squares using finite model searching tools [期刊论文]
Science China Information Sciences, 2013-01-01, 卷号: 56, 期号: 3, 页码: 1-9
Ma FeiFei; Zhang Jian

 
finding and fixing vulnerabilities in several three-party password authenticated key exchange protocols without server public keys [期刊论文]
Information Sciences, 2013-01-01, 页码: -
Xiong Hu; Chen Yanan; Guan Zhi; Chen Zhong

 
storycube: supporting children's storytelling with a tangible tool [期刊论文]
Journal of Supercomputing, 2013-01-01, 页码: 1-15
Wang Danli; He Liang; Dou Keqin

 
mining associations to improve the effectiveness of fault localization [期刊论文]
Jisuanji Xuebao/Chinese Journal of Computers, 2012-01-01, 卷号: 35, 期号: 12, 页码: 2528-2540
Zhao Lei; Wang Li-Na; Gao Dong-Ming; Zhang Zhen-Yu; Xiong Zuo-Ting

 
point-in-polygon test method based on center points of grid [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2481-2488
Li Jing; Wang Wen-Cheng

 
line drawing technique for building images [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2012-01-01, 卷号: 23, 期号: UPPL.2, 页码: 34-41
Liu You-Quan; Wu Zong-Sheng; Wang Shan-Dong; Xue Ru; Wu En-Hua

 
a study on airborne software safety requirements elicitation based on failure-cause-base aided sfmea [期刊论文]
International Journal of Advancements in Computing Technology, 2012-01-01, 卷号: 4, 期号: 23, 页码: 234-241
Xu Xiaojie; Lu Minyan; Bao Xiaohong; Meng Lingzhong

 

1 2 3 next

 

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