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

Search Results

Help

Item hits: (Results 141-150 of 193)

Items/Page:    Sort:
toward practical anonymous rerandomizable rcca secure encryptions [会议论文]
9th International Conference on Information and Communications Security, Zhengzhou, PEOPLES R CHINA, DEC 12-15,
Xue Rui; Feng Dengguo
  |  
 
automated design of non-repudiation security protocols [会议论文]
2007 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2007, Shanghai, China, September
Xue Haifeng; Zhang Huanguo; Qing Sihan; Yu Rongwei
  |  
 
evaluation of sat-based bounded model checking of actl properties [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui
  |  
 
automated large-scale simulation test-data generation for object-oriented software systems [会议论文]
1st International Symposium on Data, Privacy and E-Commerce (ISDPE 2007), Chengdu, PEOPLES R CHINA, NOV 01-03,
Zheng Yujun; Ma Yan; Xue Jinyan
  |  
 
computing invariants for parameter abstraction [会议论文]
ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN
Lv Yi; Lin Huimin; Pan Hong
  |  
 
connecting algebraic and logical descriptions of concurrent systems [会议论文]
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006, Paphos, Cyprus, 40848
Zhan Naijun
  |  
 
progressive deformation based approximation for deforming meshes [会议论文]
4th International Conference on Image and Graphics, ICIG 2007, Chengdu, China, August 22,
Zhang Shixue; Wu Enhua
  |  
 
an effective genetic algorithm for self-inverse s-boxes [会议论文]
International Conference on Computational Intelligence and Security, Harbin, PEOPLES R CHINA, DEC 15-19,
Chen Hua; Feng Dengguo
  |  
 
mesh deformation under skeleton-based detail-preservation [会议论文]
10th International Conference on Computer-Aided Design and Computer Graphics, Beijing, PEOPLES R CHINA, OCT 15-18,
Jinzhong Wu; Xuehui Liu; Enhua Wu
  |  
 
physically based simulation of fluid mixtures [会议论文]
2007 10th IEEE International Conference on Computer Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 40831
Wu Enhua
  |  
 

previous 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 next

 

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