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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
域间动态角色转换中的静态互斥角色约束违反 [期刊论文]
计算机研究与发展, 2008-01-01, 卷号: 45, 期号: 4, 页码: 677-683
翟征德; 徐震; 冯登国
  |  
 
带多项式量级约束条件的多商品流BWTSP线性规划 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 10, 页码: 1796-1800
江贺; 张宪超; 车皓阳; 陈国良
  |  
 
具有并行约束目标的多主体系统动态角色分配 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 4
汪红兵; 范植华; 佘春东
  |  
 
具有冲突约束的RBAC模型的形式化规范与证明 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: z2
袁春阳; 贺也平; 何建波; 周洲仪
  |  
 
一种求解混合约束问题的快速完备算法 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 3, 页码: 551-556
季晓慧; 张健
  |  
 
基于约束的主动规则终止性分析 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 5, 页码: 894-900
徐贵红; 张健
  |  
 
面向服务的工作流访问控制模型研究 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 8, 页码: 1369-1375
徐伟; 魏峻; 李京
  |  
 
一个ad hoc网络中的簇结构模式 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 4, 页码: 674-678
程伟明; 郑健平; 盛凌志
  |  
 
基于系统先决条件的授权模型研究 [期刊论文]
计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 3, 页码: 406-412
赵庆松; 孙玉芳; 孙波
  |  
 
虚拟装配中面贴合感知构造研究 [期刊论文]
计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 10, 页码: 1331-1336
程成

 

1

 

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