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

Search Results

Help

Item hits: (Results 101-110 of 150)

Filters            
Items/Page:    Sort:
universal designated-verifier proxy blind signatures for e-commerce [会议论文]
International Conference on Computational Intelligence and Security, Xian, PEOPLES R CHINA, DEC 15-19,
Cao TJ; Lin DD; Xue R
  |  
 
error oracle attacks on several modes of operation [会议论文]
International Conference on Computational Intelligence and Security, Xian, PEOPLES R CHINA, DEC 15-19,
Wen FT; Wu WL; Wen QY
  |  
 
collision attack and pseudorandomness of reduced-round camellia [会议论文]
11th Annual International Workshop on Selected Areas in Cryptography, Waterloo, CANADA, AUG 09-10,
Wu WL; Feng DG; Chen H
  |  
 
a three level cache-based adaptive chinese language model [会议论文]
1st International Joint Conference on Natural Language Processing (IJCNLP 2004), Hainan Isl, PEOPLES R CHINA, MAR 22-24,
Zhang JL; Sun L; Qu WM; Du L; Sun YF
  |  
 
compositionality of fixpoint logic with chop [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Zhan NJ; Wu JZ
  |  
 
multi-color difference schemes of helmholtz equation and its parallel fast solver over 3-d dodecahedron partitions [会议论文]
6th International Conference on Algorithms and Architectures for Parallel Processing, Melbourne, AUSTRALIA, OCT 02-03,
Sun JC
  |  
 
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
  |  
 

previous 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next

 

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