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

Search Results

Help

Item hits: (Results 11-20 of 47)

Items/Page:    Sort:
基于CRF模型的语义角色标注研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-07
董静
  |  
 
高等级安全操作系统中可信恢复关键技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-04
袁春阳
  |  
 
一种新的授权数据管理方案 [期刊论文]
武汉大学学报(理学版), 2007-01-01, 卷号: 53, 期号: 5, 页码: 518-522
张兴; 张晓菲; 刘毅; 沈昌祥
  |  
 
优先级顶协议的形式化验证 [期刊论文]
计算机仿真, 2007-01-01, 卷号: 24, 期号: 6, 页码: 276-279
张博颖
  |  
 
一种有效的边界测试点选取策略 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 2, 页码: 251-256
赵瑞莲; 董红霞
  |  
 
用于C语言程序验证的性质描述语言C-PDL [期刊论文]
苏州大学学报(自然科学版), 2007-01-01, 卷号: 23, 期号: 3
左春华; 张广泉; 郭亮
  |  
 
优先级顶协议的形式规范和验证 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-02
张博颖
  |  
 
一种计算机取证中需求定义的方法 [期刊论文]
电子学报, 2006-01-01, 卷号: 34, 期号: 5, 页码: 921-923
孙波; 刘欣然; 孙玉芳
  |  
 
基于规范和义务的Agent组织模型 [期刊论文]
福建电脑, 2006-01-01, 期号: 1, 页码: 16-17
柯有敏; 胡山立
  |  
 
基于模型检查实现J2EE规范的实例研究 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 12, 页码: 249-254
李彦; 张文博; 陈宁江
  |  
 

previous 1 2 3 4 5 next

 

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