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

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
带时间和资源约束的实例化过程模型验证方法 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松

 
基于空间向量计算的恶意文档检测技术 [期刊论文]
中国科学院研究生院学报, 2010-01-01, 卷号: 27, 期号: 2, 页码: 267-274
李伟; 苏璞睿; 时云峰
  |  
 
基于内核驱动的恶意代码动态检测技术 [期刊论文]
中国科学院研究生院学报, 2010-01-01, 卷号: 27, 期号: 5, 页码: 695-703
李伟; 苏璞睿
  |  
 
弱互模拟等价类算法改进 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009-06-02
李伟松
  |  
 
弱互模拟等价类算法改进 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009-06-02
李伟松
  |  
 
以太网交换机的功能完善及相关应用 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-06
李伟
  |  
 
FM-index算法性能测试及并行化 [期刊论文]
计算机工程, 2005-01-01, 卷号: 31, 期号: 22
张广治; 张云泉; 李伟华; 李玉成
  |  
 
FM—index算法性能测试及并行化 [期刊论文]
计算机工程, 2005-01-01, 卷号: 31, 期号: 22, 页码: 51-53
张广治; 张云泉; 李伟华; 李玉成
  |  
 
密码协议的一种基于组合推理的模型验证 [期刊论文]
通信学报, 2003-01-01, 卷号: 24, 期号: 9, 页码: 122-127
刘怡文; 李伟琴; 冯登国
  |  
 
密码协议的一种安全模型 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 6, 页码: 1148-1156
刘怡文; 李伟琴; 冯登国
  |  
 

1

 

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