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

Search Results

Help

Item hits: (Results 151-160 of 194)

Filters    
Items/Page:    Sort:
deriving non-determinism from conjunction and disjunction [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Zhan NJ; Majster-Cederbaum M
  |  
 
gcpm: a model for efficient call admission control in wireless cellular networks [会议论文]
3rd International Conference on Parallel and Distributed Processing and Applications, Nanjing, PEOPLES R CHINA, NOV 02-05,
Cong LL; Jin BH; Cao DL; Cao JN
  |  
 
a xml-based composition event approach as an integration and cooperation middleware [会议论文]
International Symposium on Trustworthy Global Computing, Edinburgh, SCOTLAND, APR 07-09,
Xu G; Ma JG; Huang T

 
symbolic model checking of finite precision timed automata [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Yan RJ; Li GY; Tang ZS
  |  
 
scheduling design of controllers with fuzzy deadline [会议论文]
2nd International Conference on Fuzzy Systems and Knowledge Discovery, Changsha, PEOPLES R CHINA, AUG 27-29,
Jin H; Wang HG; Wang H; Wang DL
  |  
 
a task-type aware transaction scheduling algorithm in j2ee [会议论文]
OTM Confederated International Conference and Workshop, Agia Napa, CYPRUS, OCT 31-NOV
Ding XN; Zhang X; Jin BH; Huang T
  |  
 
an evolutionary algorithm to improve the nonlinearity of self-inverse s-boxes [会议论文]
7th International Conference on Information Security and Cryptology (ICISC 2004), Seoul, SOUTH KOREA, DEC 02-03,
Chen H; Feng DG
  |  
 
a reliable content-based routing protocol over structured peer-to-peer networks [会议论文]
On the Move Confederated International Workshop and Conference, Agia Napa, CYPRUS, OCT 25-29,
Wang JL; Jin BH; Wei J; Li J

 
sensors network optimization by a novel genetic algorithm [会议论文]
IFIP International Conference on Network and Parallel Computing, Wuhan, PEOPLES R CHINA, OCT 18-20,
Wang H; Buczak AL; Jin H; Wang H; Li B
  |  
 
improved privacy-protecting proxy signature scheme [会议论文]
Advanced Workshop on Content Computing, ZhenJiang, PEOPLES R CHINA, NOV 15-17,
Cao TJ; Lin DD; Xue R
  |  
 

previous 7 8 9 10 11 12 13 14 15 16 17 18 19 20 next

 

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