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

Search Results

Help

Item hits: (Results 1-10 of 11)

Filters        
Items/Page:    Sort:
面向服务进程的用户权限隔离模型 [期刊论文]
计算机工程, 2011-01-01, 卷号: 99, 期号: 23, 页码: 141-143,146
李瑜; 赵勇; 梁鹏

 
层次结构树木物理运动的实时仿真 [期刊论文]
中国图象图形学报, 2011-01-01, 卷号: 50, 期号: 6, 页码: 1112-1120
杨猛; 吴恩华

 
基于路由器编码的自适应包标记 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 10, 页码: 2652-2661
李德全; 苏璞睿; 魏东梅; 冯登国
  |  
 
多级多版本数据库管理系统全局串行化 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 2, 页码: 345-350
张敏; 冯登国; 徐震
  |  
 
an intuitive formal prooffor deadline driven scheduler [期刊论文]
Journal of Computer Science and Technology, 2001-01-01, 卷号: 16, 期号: 2, 页码: 146
詹乃军
  |  
 
一个基于线性变换的秘密共享方案 [期刊论文]
中国科学院研究生院学报, 2001-01-01, 卷号: 18, 期号: 2, 页码: 134
王明生; 王贵林; 冯登国
  |  
 
关于“为设计认证协议的一个简明逻辑”一文的注记 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 11, 页码: 1581-1585
季庆光; 冯登国
  |  
 
Computing Bisimulations for Finite-Controlπ-Calculus [期刊论文]
Journal of Computer Science and Technology, 2000-01-01, 卷号: 15, 期号: 1, 页码: 1
林惠民
  |  
 
一种用户主导的面向领域应用软件开发新方法 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 7, 页码: 863-870
李明树
  |  
 
automatic construction of finite algebras [期刊论文]
Journal of Computer Science and Technology, 1995-01-01, 卷号: 10, 期号: 3, 页码: 206-213
张健
  |  
 

1 2 next

 

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