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

Search Results

Help

Item hits: (Results 1-10 of 28)

Items/Page:    Sort:
命题模态逻辑的模型构造和完备性证明 [期刊论文]
计算机应用与软件, 2014-01-01, 卷号: 31, 期号: 8, 页码: 9-12,24
柳欣欣; 李小燕

 
基于属性数据的系统调用过滤方法 [期刊论文]
计算机工程与设计, 2014-01-01, 卷号: 35, 期号: 8, 页码: 2621-2627
郭航; 连一峰

 
一种数据级安全访问控制方案① [期刊论文]
计算机系统应用, 2013-01-01, 期号: 9, 页码: 81-85,74
唐建; 徐罡; 许舒人

 
Analyzing impact rules of different change types to support change impact analysis [期刊论文]
International Journal of Software Engineering and Knowledge Engineering, 2013-01-01, 卷号: 23, 期号: 3, 页码: 259-288
Sun, Xiaobing (1); Li, Bixin (1); Wen, Wanzhi (1); Zhang, Sai (4)

 
正规树文法的产生式相交判定 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇; 陈海明
  |  
 
基于规范生成的文件模糊测试 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 16, 页码: 3591-3594
沈亚楠; 赵荣彩; 王小芹; 任华; 张新宇; 鲁海军; 李鹏飞
  |  
 
基于考生比例的考场编排问题的分治算法 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 12, 页码: 2872-2875
王文发; 张根耀; 马春梅; 李红达
  |  
 
a heuristic approach to positive root isolation for multiple power sums [期刊论文]
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010-01-01, 卷号: 16, 期号: 14, 页码: 1912-1926
Xu Ming; Mu Chuandong; Zeng Zhenbing; Li Zhi-bin
  |  
 
adaptive voice stream multicast over low-power wireless networks [会议论文]
31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, CA, 40850
Liqun Li; Guoliang Xing; Qi Han; Limin Sun
  |  
 
qos-aware publish-subscribe service for real-time data acquisition [会议论文]
2nd International Workshop on Business Intelligence for the Real-Time Enterprise (BIRTE 2008), Auckland, NEW ZEALAND, 44067
Lu Xinjie; Li Xin; Yang Tian; Liao Zaifei; Liu Wei; Wang Hongan

 

1 2 3 next

 

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