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

Search Results

Help

Item hits: (Results 1-10 of 48)

Items/Page:    Sort:
some improvements on model checking coreasm models of security protocols [会议论文]
2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September
Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng
  |  
 
soundness verification and analysis of interorganizational logical workflow nets [会议论文]
2nd International Workshop on Education Technology and Computer Science, ETCS 2010, Wuhan, Hubei, China, 37321
Liu Wei; Du YuYue; Sun HaiChun; Yan Chun
  |  
 
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
  |  
 
static detection of unsafe use of variables in java program [会议论文]
Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, Xi'an, China, 40842
Wu Xiaoquan; Wei Jun
  |  
 
shape filling rate for silhouette representation and recognition [会议论文]
2010 20th International Conference on Pattern Recognition, ICPR 2010, Istanbul, Turkey, August 23,
An Guocheng; Zhang Fengjun; Wang Hong'an; Dai Guozhong
  |  
 
trusted channels with password-based authentication and tpm-based attestation [会议论文]
2010 International Conference on Communications and Mobile Computing, CMC 2010, Shenzhen, China, April 12,
Zhou Lingli; Zhang Zhenfeng
  |  
 
towards runtime plug-and-play software [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Wang Tao; Zhou Xiaowei; Wei Jun; Zhang Wenbo
  |  
 
towards a flexible spatially aware access control model [会议论文]
2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September
Zhang Desheng; Zhang Min; Chen Chi
  |  
 
numerical simulation of the thermal convection in the earths outer core [会议论文]
2010 12th IEEE International Conference on High Performance Computing and Communications, HPCC 2010, Melbourne, VIC, Australia, September
Yang Chao; Zhang Yunquan; Li Ligang
  |  
 
new optimistic fair exchange protocol based on short signature [会议论文]
2nd International Conference on Communication Software and Networks, ICCSN 2010, Singapore, Singapore, 40576
Sun Yanbin; Gu Lize; Qing Sihan; Zheng Shihui; Yang Yixian; Sun Yan
  |  
 

1 2 3 4 5 next

 

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