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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
基于约束的主动规则终止性分析 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 5, 页码: 894-900
徐贵红; 张健
  |  
 
消除结构冗余的XML数据库模式规范化设计 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 10, 页码: 1809-1814
吴永辉
  |  
 
语义Web规则标记语言OWLRule+的设计与实现 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 7, 页码: 1088-1096
梁晟; 付弘宇; 李明树
  |  
 
RPRDM:基于重复和部分角色的转授权模型 [期刊论文]
计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 221-227
赵庆松; 孙玉芳; 孙波
  |  
 
经典BLP安全公理的一种适应性标记实施方法及其正确性 [期刊论文]
计算机研究与发展, 2001-01-01, 卷号: 38, 期号: 11, 页码: 1366-1372
石文昌; 孙玉芳; 梁洪亮
  |  
 

1

 

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