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

Search Results

Help

Item hits: (Results 1-6 of 6)

Filters    
Items/Page:    Sort:
基于多层次优化技术的XACML策略评估引擎 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 2, 页码: 323-338
王雅哲; 冯登国; 张立武; 张敏
  |  
 
采用了剪枝优化的子类型关系判定算法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1481-1490
戴晓君; 陈海明
  |  
 
高性能的XML解析器OnceXMLParser [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 10, 页码: 2728-2738
金蓓弘; 曹冬磊; 任鑫; 余双; 戴蓓洁
  |  
 
基于SPEM2XPDL模型转换的软件过程执行 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 9, 页码: 2141-2152
袁峰; 李明树
  |  
 
一种电子商务协议形式化分析方法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 10, 页码: 1757-1765
王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠
  |  
 
在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决 [期刊论文]
软件学报, 2000-01-01, 期号: 6, 页码: 711-719
闫安; 唐稚松

 

1

 

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