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

Search Results

Help

Item hits: (Results 1-10 of 30)

Filters    
Items/Page:    Sort:
一种基于过滤器的遗留系统安全单点登录方案 [期刊论文]
计算机应用与软件, 2014-01-01, 期号: 10, 页码: 300-304,313
李芳芳; 王帅; 许舒人; 陈益洲

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

 
确定型语言的相关研究综述 [期刊论文]
集成技术, 2013-01-01, 期号: 6, 页码: 65-70
陈海明; 陆平

 
中国机器翻译研究的机遇与挑战——第八届全国机器翻译研讨会总结与展望 [期刊论文]
中文信息学报, 2013-01-01, 卷号: 27, 期号: 4, 页码: 1-8
杜金华; 张萌; 宗成庆; 孙乐

 
基于XACML的可验证云访问控制方案 [期刊论文]
计算机工程, 2013-01-01, 卷号: 39, 期号: 10, 页码: 42-48,56
司晓琳; 王鹏翩; 张立武

 
GSim:支持GPU加速软件过程仿真框架 [期刊论文]
Computer Engineering and Design, 2012-01-01, 卷号: 33, 期号: 2, 页码: 754-759,820
张备; 翟健; 杨秋松
  |  
 
基于服务构件集成的安全访问业务建模方法 [期刊论文]
Computer Applications and Software, 2012-01-01, 卷号: 29, 期号: 2, 页码: 1-4,12
朱玉涛; 王雅哲; 武传坤
  |  
 
decidable temporal dynamic description logic [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: 7, 页码: 1524-1537
Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng

 
类Unix文件系统中TOCTTOU缺陷的静态分析方法 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 8, 页码: 1430-1437
韩伟; 贺也平
  |  
 
基于多层次优化技术的XACML策略评估引擎 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 2, 页码: 323-338
王雅哲; 冯登国; 张立武; 张敏
  |  
 

1 2 3 next

 

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