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

Search Results

Help

Item hits: (Results 31-37 of 37)

Filters    
Items/Page:    Sort:
sator: a scalable resource registration mechanism enabling virtual organizations of enterprise applications [会议论文]
4th International Conference on Grid and Cooperative Computing - GCC 2005, Beijing, China, 40850
Liu Chen; Cheng Fanke; Han Yanbo

 
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 formal description of secimos operating system [期刊论文]
COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005-01-01, 卷号: 3685, 页码: 286-297
Zhou ZY; Liang B; Jiang L; Shi WC; He YP
  |  
 
a formal model of fair exchange protocols [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005-01-01, 卷号: 48, 期号: 4, 页码: 499-512
Qing SH; Li GC
  |  
 
the computations of einstein-kahler metric of cartan-hartogs domain [期刊论文]
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2005-01-01, 卷号: 48, 期号: SUPPL., 页码: 365-376
Yin XL; Zhao XX
  |  
 
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
  |  
 

previous 1 2 3 4

 

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