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

Search Results

Help

Item hits: (Results 1-10 of 14)

Filters        
Items/Page:    Sort:
compositional modelling and verification of ipv6 mobility [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Wu P; Zhang DM
  |  
 
interactive transmission of highly detailed surfaces [会议论文]
International Conference on Computational Science and Its Applications (ICCSA 2005), Singapore, SINGAPORE, MAY 09-12,
Ji JF; Li S; Wu EH; Liu XH
  |  
 
security on-demand architecture with multiple modules support [会议论文]
1st Information Security Practice and Experience Conference, Singapore, SINGAPORE, APR 11-14,
Wu YJ; Shi WC; Liang HL; Shang QH; Yuan CY; Liang B
  |  
 
detecting the deviations of privileged process execution [会议论文]
4th International Conference on Networking (ICN 2005), Reunion Isl, FRANCE, APR 17-21,
Su PR; Li DQ; Qu HP; Feng DG
  |  
 
optimization design of controller periods using evolution strategy [会议论文]
International Conference on Computational Intelligence and Security, Xian, PEOPLES R CHINA, DEC 15-19,
Jin H; Wang H; Wang HG; Dai GZ
  |  
 
on anonymity of group signatures [会议论文]
International Conference on Computational Intelligence and Security, Xian, PEOPLES R CHINA, DEC 15-19,
Zhou SJ; Lin DD
  |  
 
on construction of difference schemes and finite elements over hexagon partitions [会议论文]
International Conference on High Performance Computing and Its Applications, Shanghai, PEOPLES R CHINA, AUG 08-10,
Sun JC; Yang C
  |  
 
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
  |  
 

1 2 next

 

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