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

Search Results

Help

Item hits: (Results 11-20 of 83)

Filters                
Items/Page:    Sort:
Incremental bisimulation abstraction refinement [会议论文]
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)

 
A general noise-reduction framework for fault localization of Java programs [会议论文]
Xu, Jian (1); Zhang, Zhenyu (2); Chan, W.K. (3); Tse, T.H. (4); Li, Shanping (1)

 
interactive coupling between a tree and raindrops [会议论文]
Yang Meng; Jiang Longsheng; Li Xiaosheng; Liu Youquan; Liu Xuehui; Wu Enhua

 
physically based object withering simulation [会议论文]
Liu Youquan; Chen Yanyun; Wu Wen; Max Nelson; Wu Enhua

 
scalar multiplication on kummer surface revisited [会议论文]
Lin Qiping; Zhang Fangguo

 
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

 
a ring signature scheme using bilinear pairings [会议论文]
5th International Workshop on Information Security Applications, Jeju Isl, SOUTH KOREA, AUG 23-25,
Xu J; Zhang ZF; Feng DG
  |  
 
a new k-anonymous message transmission protocol [会议论文]
5th International Workshop on Information Security Applications, Jeju Isl, SOUTH KOREA, AUG 23-25,
Yao G; Feng DG
  |  
 
iwws: a reliability-based www collaborative recommender system [会议论文]
7th Asia-Pacific Web Conference, Shanghai, PEOPLES R CHINA, MAR 29-APR
Che HY; Zhang JC; Yu SQ; Gu J
  |  
 
mining quantitative associations in large database [会议论文]
7th Asia-Pacific Web Conference, Shanghai, PEOPLES R CHINA, MAR 29-APR
Hui CY; Wang YJ; Zhang BY; Yang Q; Wang Q; Zhou JH; He R; Yan Y
  |  
 

previous 1 2 3 4 5 6 7 8 9 next

 

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