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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
cupping and diamond embeddings: a unifying approach [会议论文]
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02
Fang Chengling; Liu Jiang; Wu Guohua
  |  
 
depsim: a dependency-based malware similarity comparison system [会议论文]
6th China International Conference on Information Security and Cryptology, Inscrypt 2010, Shanghai, China, 20-Oct
Yi Yang; Lingyun Ying; Rui Wang; Purui Su; Dengguo Feng
  |  
 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
what semantic equivalences are suitable for non-interference properties in computer security [会议论文]
9th International Conference on Information and Communications Security, ICICS 2007, Zhengzhou, China, 40878
Huang Xiaowei; Jiao Li; Lu Weiming
  |  
 
on the expressive power of qltl [会议论文]
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28,
Wu Zhilin
  |  
 
efficient state space reduction for automata by fair simulation [会议论文]
International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19,
Yi Jin; Zhang Wenhui
  |  
 
adding adaptability to mailbox-based mobile ip [会议论文]
IFIP International Conference Embedded and Ubiquitous Computing, Taipei, TAIWAN, DEC 17-20,
Zhang Liang; Jin Beihong; Cao Jiannong
  |  
 
from mathematics to software engineering: introducing category theory into the computer science curriculum [会议论文]
7th International Conference on Computational Science (ICCS 2007), Beijing, PEOPLES R CHINA, MAY 27-30,
Zheng Yujun; Shi Haihe; Xue Jinyun
  |  
 
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
  |  
 
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

 

1

 

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