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

Search Results

Help

Item hits: (Results 1-10 of 192)

Items/Page:    Sort:
a systematic framework for grammar testing [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, PEOPLES R CHINA, JUN 01-03,
Zheng Lixiao; Chen Haiming

 
remote attestation for custom-built software [会议论文]
International Conference on Networks Security, Wireless Communications and Trusted Computing, Wuhan, PEOPLES R CHINA, APR 25-26,
Meng Ce; He Yeping; Zhang Qian

 
a state-adaptive access control model for web-based idrs system [会议论文]
International Conference on Networks Security, Wireless Communications and Trusted Computing, Wuhan, PEOPLES R CHINA, APR 25-26,
Wu Xinsong; He Yeping; Zhou Zhouyi
  |  
 
the study of trustworthy software process improvement model [会议论文]
International Conference on Networks Security, Wireless Communications and Trusted Computing, Wuhan, PEOPLES R CHINA, APR 25-26,
Yu Benhai; Wang Qing; Yang Ye
  |  
 
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 
algorithms for computing weak bisimulation equivalence [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Li Weisong
  |  
 
environment abstraction with state clustering and parameter truncating [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Pan Hong; Lv Yi; Lin Huimin

 
leakage identification for secret relational data using shadowed watermarks [会议论文]
International Conference on Communication Software and Networks, Macau, PEOPLES R CHINA, FEB 27-28,
Xian Hequn; Feng Dengguo

 
data transformation and attribute subset selection: do they help make differences in software failure prediction? [会议论文]
IEEE International Conference on Software Maintenance, Edmonton, CANADA, SEP 20-26,
Jia Hao; Shu Fengdi; Yang Ye; Li Qi
  |  
 
the wall-following controller for the mobile robot using spiking neurons [会议论文]
International Conference on Artificial Intelligence and Computational Intelligence, Shanghai, PEOPLES R CHINA, NOV 07-08,
Wang Xiuqing; Hou Zeng-Guang; Tan Min; Wang Yongji; Hu Liwei

 

1 2 3 4 5 6 7 8 9 10 next

 

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