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

Search Results

Help

Item hits: (Results 51-60 of 110)

Items/Page:    Sort:
形式化开发Hanoi塔问题非递归算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99
石海鹤; 石海鹏; 薛锦云
  |  
 
算法程序变换研究与进展 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 11, 页码: 232-238
石海鹤; 石海鹏; 郑宇军; 薛锦云
  |  
 
双重软件体系结构描述框架XYZ/ADL [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
 
基于DTE策略的安全域隔离Z形式模型 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 11, 页码: 1881-1888
卿斯汉; 李丽萍; 何建波; 沈晴霓
  |  
 
对Otway-Rees协议的一个改进方法 [期刊论文]
计算机应用, 2007-01-01, 卷号: 27, 期号: z1
卢凤清; 林东岱
  |  
 
基于产生式的工作流模型分析技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-14
陈亮
  |  
 
高安全等级操作系统可信进程安全策略及其关键技术的研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-08
沈晴霓
  |  
 
实时可取证操作系统的模型、策略及实现研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-07
丁丽萍
  |  
 
一种基于属性证书和角色的访问控制模型 [期刊论文]
微电子学与计算机, 2006-01-01, 卷号: 23, 期号: 11, 页码: 143-145,148
张可翔; 谢冬青; 冷健
  |  
 
体系结构描述语言XYZ/ADL到UML的映射 [期刊论文]
计算机应用, 2006-01-01, 期号: 2, 页码: 468-471
陈琳琳; 戎玫; 张广泉
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 next

 

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