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

Search Results

Help

Item hits: (Results 21-30 of 41)

Items/Page:    Sort:
chosen-ciphertext secure bidirectional proxy re-encryption schemes without pairings [期刊论文]
Information Sciences, 2010-01-01, 卷号: 180, 期号: 24, 页码: 5077-5089
Weng Jian; Deng Robert H.; Liu Shengli; Chen Kefei

 
supporting flexible reification of design patterns [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Shen Wuwei; Kim Dae-Kyoo; Liu Jian; Zhao Chen
  |  
 
model checking a secure hypervisor [会议论文]
, Wuhan
Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang
  |  
 
local lemma: a new strategy of pruning in sat solvers [会议论文]
25th Annual ACM Symposium on Applied Computing, SAC 2010, Sierre, Switzerland, March 22,
Jia Xiangxue; Lu Runming; Liu Sheng; Zhang Jian
  |  
 
realtime simulation of burning solids on gpu with cuda [会议论文]
10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010, Bradford, United kingdom, 37436
Zhu Jian; Liu Youquan; Bao Kai; Chang Yuanzhang; Wu Enhua
  |  
 
optimal infostation deployment for spatio-temporal information dissemination [会议论文]
15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, 37429
Xiong Yongping; Tian Rui; Ma Jian; Liu Yan; Sun Limin
  |  
 
a particle-based method for viscoelastic fluids animation [会议论文]
VRST 2009 - 16th ACM Symposium on Virtual Reality Software and Technology, Kyoto, Japan, 40848
Chang Yuanzhang; Bao Kai; Liu Youquan; Zhu Jian; Wu Enhua

 
particle importance based fluid simulation [会议论文]
2009 6th International Conference on Computer Graphics, Imaging and Visualization: New Advances and Trends, CGIV2009, Tianjin, China, August 11,
Yuanzhang Chang; Kai Bao; Youquan Liu; Jian Zhu; Enhua Wu

 
warping of a spherical representation of image-based models on gpu [会议论文]
VRCAI 2009: 8th International Conference on Virtual Reality Continuum and its Applications in Industry, Yokohama, Japan, 40878
Zhu Jian; Liu Youquan; Bao Kai; Chang Yuanzhang; Wu Enhua

 
volume computation for boolean combination of linear arithmetic constraints [会议论文]
22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07,
Ma Feifei; Liu Sheng; Zhang Jian

 

previous 1 2 3 4 5 next

 

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