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

Search Results

Help

Item hits: (Results 11-20 of 72)

Items/Page:    Sort:
modeling aspect-oriented software architecture based on acme [会议论文]
6th International Conference on Computer Science and Education, ICCSE 2011, Singapore, Singapore, August 3,
Rong Mei; Liu Changlin; Zhang Guangquan

 
set-theoretic foundation of parametric polymorphism and subtyping [会议论文]
16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September
Castagna Giuseppe; Xu Zhiwu

 
understanding, manipulating and searching hand-drawn concept maps [期刊论文]
ACM Transactions on Intelligent Systems and Technology, 2011-01-01, 卷号: 3, 期号: 1, 页码: -
Jiang Yingying; Tian Feng; Zhang Xiaolong; Dai Guozhong; Wang Hongan

 
qip = pspace [期刊论文]
JOURNAL OF THE ACM, 2011-01-01, 卷号: 58, 期号: 6, 页码: -
Jain Rahul; Ji Zhengfeng; Upadhyay Sarvagya; Watrous John

 
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 practical covert channel identification approach in source code based on directed information flow graph [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Wu JingZheng; Ding Liping; Wang Yongji; Han Wei
  |  
 
design and implementation of a graphical programming tool for children [会议论文]
2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011, Shanghai, China, 10-Jun-02
Xiajian Chen; Danli Wang; Hongan Wang
  |  
 
verifying the safety of xen security modules [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Han Wei; He Yeping; Ding Liping
  |  
 
基于CUDA渲染器的顺序独立透明现象的单遍高效绘制 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 8, 页码: 1927-1933
黄梦成; 刘芳; 刘学慧; 吴恩华
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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