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

Search Results

Help

Item hits: (Results 61-70 of 143)

Items/Page:    Sort:
holographic algorithms with matchgates capture precisely tractable planar #csp [会议论文]
2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010, Las Vegas, NV, United states, 40839
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
cooperative concept map based on cognitive model for visual analysis [会议论文]
3rd International Symposium on Visual Information Communication, VINCI 2010, Beijing, China, September
Du Yi; Ma Cuixia; Teng Dongxing; Dai Guozhong

 
formal based operation strategy design for collaborative shared teleoperation system [会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu
  |  
 
a fuzzy-based method for evaluating the trustworthiness of software processes [会议论文]
International Conference on Software Process, ICSP 2010, Paderborn, Germany, 44020
Zhang Haopeng; Shu Fengdi; Yang Ye; Wang Xu; Wang Qing
  |  
 
application of logical petri nets in web service composition [会议论文]
2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010, Xian, China, August 4,
Zhu ChangYan; Du YuYue
  |  
 
asm-spv: a model checker for security protocols [会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui
  |  
 
a mobility model based on traffic flow theory for vehicular delay tolerant network [会议论文]
2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, Changsha, China, September
Yang Wei-Dong; Liu Ji-Zhao; Zhu Hong-Song
  |  
 
a robust aqm controller design for various delay networks [会议论文]
29th Chinese Control Conference, CCC10, Beijing, China, 37466
Wang Xiuli; Wang Yongji

 
a case study on usage of a software process management tool in china [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Jing Du; Ye Yang; Zhongpeng Lin; Qing Wang; Mingshu Li; Feng Yuan
  |  
 
statistically hiding sets [会议论文]
Cryptographers Track at the RSA Conference, CT-RSA 2009, San Francisco, CA, United states, April 20,
Prabhakaran Manoj; Xue Rui

 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next

 

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