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

Search Results

Help

Item hits: (Results 1-10 of 16)

Filters    
Items/Page:    Sort:
基于空值修复的数据库一致性查询方法 [期刊论文]
计算机应用研究, 2009-01-01, 卷号: 26, 期号: 11
黄飞; 刘杰; 叶丹
  |  
 
具有并行约束目标的多主体系统动态角色分配 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 4
汪红兵; 范植华; 佘春东
  |  
 
一致性测试中的时间约束及测试用例生成算法 [期刊论文]
西安交通大学学报, 2006-01-01, 卷号: 40, 期号: 4, 页码: 381-385
赵保华; 柯尧
  |  
 
面向装备全寿命保障的约束规划框架 [期刊论文]
计算机工程与设计, 2006-01-01, 期号: 14, 页码: 2677-2679
张子丘; 郑宇军; 王侃
  |  
 
基于量化角色的可控委托模型 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1401-1407
翟征德
  |  
 
具有冲突约束的RBAC模型的形式化规范与证明 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: z2
袁春阳; 贺也平; 何建波; 周洲仪
  |  
 
多维计算机取证模型研究 [会议论文]
第20次全国计算机安全学术交流会, 西宁
丁丽萍; 王永吉
  |  
 
面向装备联勤保障的约束程序设计框架 [期刊论文]
南京大学学报(自然科学版), 2005-01-01, 卷号: 41, 期号: z1, 页码: 30-34
郑宇军; 王连来; 薛锦云
  |  
 
面向服务的工作流访问控制模型研究 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 8, 页码: 1369-1375
徐伟; 魏峻; 李京
  |  
 
一个ad hoc网络中的簇结构模式 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 4, 页码: 674-678
程伟明; 郑健平; 盛凌志
  |  
 

1 2 next

 

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