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

Search Results

Help

Item hits: (Results 31-37 of 37)

Items/Page:    Sort:
a new formal model for privilege control with supporting posix capability mechanism [期刊论文]
Science in China Series F: Information Sciences, 2005-01-01, 卷号: 48, 期号: 1, 页码: 46-66
Qingguang Ji; Sihan Qing; He Yeping
  |  
 
一个改进的可动态调节的机密性策略模型 [期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 10, 页码: 1547-1557
季庆光; 卿斯汉; 贺也平
  |  
 
study on strand space model theory [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 5, 页码: 553-570
Ji QG; Qing SH; Zhou YB; Feng DG
  |  
 
multifractal analysis and model of the mpeg-4 video traffic [会议论文]
IEEE International Performance, Computing and Communications Conference, PHOENIX, AZ, APR 09-11,
Hong F; Wu ZM
  |  
 
validating objected-oriented prototype of real-time systems with timed automata [会议论文]
13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03,
Shu GQ; Li C; Wang Q; Li MS
  |  
 
based-cr knowledge interconnection in national knowledge infrastructure [会议论文]
International Conference on Info-Tech and Info-Net (ICII 2001), BEIJING, PEOPLES R CHINA, OCT 29-NOV
Lei YX; Cao CG; Sui YF
  |  
 
基于转换系统的广义反应系统形式模型 [期刊论文]
计算机科学, 2000-01-01, 期号: 1, 页码: 28-30
张广泉

 

previous 1 2 3 4

 

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