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

Search Results

Help

Item hits: (Results 1-10 of 27)

Filters    
Items/Page:    Sort:
一种面向程序动态分析的循环摘要生成方法 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 6, 页码: 1110-1117
聂楚江; 刘海峰; 苏璞睿; 冯登国

 
基于谓词执行信息分析的自适应缺陷定位算法 [期刊论文]
计算机学报, 2014-01-01, 卷号: 37, 期号: 3, 页码: 500-511
郝鹏; 郑征; 张震宇; 高乙超; 宫成; 薛云志

 
基于异常控制流识别的漏洞利用攻击检测方法 [期刊论文]
通信学报, 2014-01-01, 卷号: 35, 期号: 9, 页码: 20-31
王明华; 应凌云; 冯登国

 
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
一种微观漏洞数量预测模型 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 7, 页码: 1279-1287
聂楚江; 赵险峰; 陈恺; 韩正清

 
恶意软件网络协议的语法和行为语义分析方法 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 7, 页码: 1676-1689
应凌云; 杨轶; 冯登国; 苏璞睿

 
一种用于软件过程建模的适应性Agent协商 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 3, 页码: 557-566
黎巎; 李明树; 王青; 赵琛; 杜栓柱
  |  
 
软件过程建模方法研究 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 3, 页码: 524-545
李明树; 杨秋松; 翟健
  |  
 
双重软件体系结构描述框架XYZ/ADL [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
 
基于抽象解释的代码迷惑有效性比较框架 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
  |  
 

1 2 3 next

 

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