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

Search Results

Help

Item hits: (Results 1-10 of 15)

Items/Page:    Sort:
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

 
an improved time-memory-data trade-off attack against irregularly clocked and filtered keystream generators [会议论文]
8th China International Conference on Information Security and Cryptology, INSCRYPT 2012, Beijing, China, November 28, 2012 - November 30, 2012
Jiao Lin; Wang Mingsheng; Zhang Bin; Li Yongqiang

 
on annihilators in fewer variables: basic theory and applications [期刊论文]
Chinese Journal of Electronics, 2013-01-01, 卷号: 22, 期号: 3, 页码: 489-494
Jiao Lin; Wang Mingsheng; Li Yongqiang; Liu Meicheng

 
raps: a precision-adaptive protocol towards improved data fidelity in wireless sensor networks [期刊论文]
Wireless Communications and Mobile Computing, 2012-01-01, 页码: -
Deng Hanlin; Zhang Baoxian; Jiao Zhenzhen; Li Cheng

 
property checking for 1-place-unbounded petri nets [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Wang Yunhe; Jiang Bo; Jiao Li
  |  
 
canonical transition set semantics for petri nets [会议论文]
31st International Conference on Appliations and Theory of Petri Nets and Other Models of Concurrency, Braga, PORTUGAL, JUN 21-25,
Wang Yunhe; Jiao Li
  |  
 
a precongruence format for should testing preorder [期刊论文]
Journal of Logic and Algebraic Programming, 2010-01-01, 卷号: In Press, Accepted Manuscript, 页码: -
Xiaowei Huang; Jiao Li; Weiming Lu
  |  
 
qos-aware web service composition based on sla [会议论文]
4th International Conference on Natural Computation (ICNC 2008), Jian, PEOPLES R CHINA, OCT 18-20,
Dong Wenli; Jiao Li
  |  
 
a method for verifying deadlock freedom and liveness of petri nets [会议论文]
IEEE International Symposium on Circuits and Systems, Seattle, WA, MAY 18-21,
Jiao Li
  |  
 
refining and verifying regular petri nets [期刊论文]
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008-01-01, 卷号: 39, 期号: 1, 页码: 17-27
Li Jiao
  |  
 

1 2 next

 

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