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

Search Results

Help

Item hits: (Results 1-10 of 55)

Filters    
Items/Page:    Sort:
Deciding determinism of unary languages [期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P; Peng, FF; Chen, HM; Zheng, LX
  |  
 
一种基于过滤器的遗留系统安全单点登录方案 [期刊论文]
计算机应用与软件, 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
司晓琳; 王鹏翩; 张立武

 
towards practical abox abduction in large description logic ontologies [期刊论文]
International Journal on Semantic Web and Information Systems, 2012-01-01, 卷号: 8, 期号: 2, 页码: 1-33
Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.

 
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

 

1 2 3 4 5 6 next

 

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