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

Search Results

Help

Item hits: (Results 1-10 of 17)

Filters    
Items/Page:    Sort:
Designing and Modeling of Covert Channels in Operating Systems [期刊论文]
IEEE TRANSACTIONS ON COMPUTERS, 2016-01-01, 卷号: 65, 期号: 6, 页码: 1706-1719
Lin, YQ; Malik, SUR; Bilal, K; Yang, QS; Wang, YJ; Khan, SU
  |  
 
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 10, 页码: 1563-1580
Hu, X; Jiao, L; Li, ZJ

 
Rabin's theorem in the concurrency setting: A conjecture [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 546, 页码: 225-236
Thiagarajan, P.S. (1); Yang, Shaofa (2)

 
ROSA:资源敏感的高性能Web容器体系结构 [期刊论文]
Journal of Frontiers of Computer Science & Technology, 2012-01-01, 卷号: 6, 期号: 1, 页码: 32-45
周晓炜; 张文博; 王联华
  |  
 
parallel computation of continuous petri nets based on hypergraph partitioning [期刊论文]
Journal of Supercomputing, 2011-01-01, 卷号: 62, 期号: 1, 页码: 1-33
Ding Zuohua; Shen Hui; Cao Jianwen

 
releasing control policy for semiconductor wafer fabrication based on fuzzy petri nets-reasoning [期刊论文]
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2011-01-01, 卷号: 39, 期号: 7, 页码: 1545-1550
Cao Zheng-Cai; Zhao Hui-Dan; Wang Yong-Ji
  |  
 
基于极小T-不变量增加的Petri网可达性分析 [期刊论文]
计算机应用研究, 2010-01-01, 卷号: 27, 期号: 10, 页码: 3798-3802
彭建兵; 焦莉
  |  
 
a petri net-based model for verification of obligations and accountability in cooperative systems [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009-01-01, 卷号: 39, 期号: 2, 页码: 299-308
Du YuYue; Jiang ChangJun; Zhou MengChu

 
logic petri nets and equivalency [期刊论文]
Information Technology Journal, 2009-01-01, 卷号: 8, 期号: 1, 页码: 95-100
Du Y.Y.; Guo B.Q.

 
analysis and verification of dynamic stock trading systems [期刊论文]
Information Technology Journal, 2008-01-01, 卷号: 7, 期号: 3, 页码: 466-473
Du Yuyue; Zheng Hong; Yu Shuxia
  |  
 

1 2 next

 

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