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

Search Results

Help

Item hits: (Results 1-10 of 19)

Filters    
Items/Page:    Sort:
基于Trustzone的强安全需求环境下可信代码执行方案 [期刊论文]
计算机研究与发展, 2015-01-01, 卷号: 52, 期号: 10, 页码: 2224-2238
张英骏; 冯登国; 秦宇; 杨波
  |  
 
基于扩展逻辑变换系统_μTS证明循环优化正确性 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶

 
一个环境适应的基于角色的访问控制模型 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 6, 页码: 983-990
吴新松; 贺也平; 周洲仪; 梁洪亮
  |  
 
车载容迟网络中一种基于真实轨迹的车辆移动模型 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: z2, 页码: 270-274
杨卫东; 朱红松; 张德贤; 王珂; 张瑜; 刘伎昭
  |  
 
改进的对等网络流量传输层识别方法 [期刊论文]
计算机研究与发展, 2008-01-01, 卷号: 45, 期号: 5, 页码: 794-802
徐鹏; 刘琼; 林森
  |  
 
带多项式量级约束条件的多商品流BWTSP线性规划 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 10, 页码: 1796-1800
江贺; 张宪超; 车皓阳; 陈国良
  |  
 
SMP集群系统上矩阵特征问题并行求解器的有效算法 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 2, 页码: 334-340
赵永华; 迟学斌; 程强
  |  
 
语义Web环境中本体库管理系统体系结构研究 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: z3, 页码: 39-45
李曼; 杜小勇; 王珊
  |  
 
电子数据证据收集系统的研究与保护 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 8, 页码: 1422-1426
孙波; 孙玉芳
  |  
 
TRDM--具有时限的基于角色的转授权模型 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 7, 页码: 1104-1109
孙波; 赵庆松; 孙玉芳
  |  
 

1 2 next

 

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