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

Search Results

Help

Item hits: (Results 31-40 of 133)

Items/Page:    Sort:
driver: diagnosing runtime property violations based on dependency rules [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Liu Yanbin; Yang Ye; Yang Qiusong; Li Mingshu
  |  
 
static detection of bugs caused by incorrect exception handling in java programs [会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Wu Xiaoquan; Xu Zhongxing; Wei Jun
  |  
 
visualizing inference process of a rule engine [会议论文]
4th Visual Information Communication - International Symposium, VINCI 2011, Hong Kong, China, August 4,
Shi Jian; Qiao Ying; Wang Hongan
  |  
 
a comparative study of tf*idf, lsi and multi-words for text classification [期刊论文]
Expert Systems with Applications, 2011-01-01, 卷号: 38, 期号: 3, 页码: 2758-2765
Zhang Wen; Yoshida Taketoshi; Tang Xijin
  |  
 
extending fuzzy soft sets with fuzzy description logics [期刊论文]
Knowledge-Based Systems, 2011-01-01, 卷号: 24, 期号: 7, 页码: 1096-1107
Jiang Yuncheng; Tang Yong; Chen Qimai; Liu Hai; Tang Jianchao
  |  
 
verifying the safety of xen security modules [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Han Wei; He Yeping; Ding Liping
  |  
 
semantic operations of multiple soft sets under conflict [期刊论文]
Computers and Mathematics with Applications, 2011-01-01, 卷号: 62, 期号: 4, 页码: 1923-1939
Jiang Yuncheng; Tang Yong; Chen Qimai; Cao Zhanmao
  |  
 
reasoning and change management in modular fuzzy ontologies [期刊论文]
Expert Systems with Applications, 2011-01-01, 卷号: 38, 期号: 11, 页码: 13975-13986
Jiang Yuncheng; Tang Yong; Chen Qimai; Wang Ju
  |  
 
类Unix文件系统中TOCTTOU缺陷的静态分析方法 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 8, 页码: 1430-1437
韩伟; 贺也平
  |  
 
基于多层次优化技术的XACML策略评估引擎 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 2, 页码: 323-338
王雅哲; 冯登国; 张立武; 张敏
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 next

 

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