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

Search Results

Help

Item hits: (Results 31-40 of 140)

Items/Page:    Sort:
specifying properties for modular pi-calculus [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Kitamura Takashi; Lin Huimin
  |  
 
an empirical study on interoperability between service discovery protocols [会议论文]
5th International Conference on Embedded and Ubiquitous Computing, Shanghai, PEOPLES R CHINA, DEC 17-20,
Jin Beihong; Zang Zhi; Zhang Liang
  |  
 
a parallel shortest path algorithm based on graph-partitioning and iterative correcting [会议论文]
10th IEEE International Conference on High Performance Computing and Communications, Dalian, PEOPLES R CHINA, SEP 25-27,
Tang Yuxin; Zhang Yunquan; Chen Hu
  |  
 
grid discovery zone: virtualization for exploiting easy-management and high-utilization in grid [会议论文]
10th IEEE International Conference on High Performance Computing and Communications, Dalian, PEOPLES R CHINA, SEP 25-27,
Tang Yuxin; Zhang Ruihua; See Simon; Cheung Che; Chan Chi-Hung
  |  
 
exploring malware behaviors based on environment constitution [会议论文]
International Conference on Computational-Intelligence and Security, Suzhou, PEOPLES R CHINA, DEC 13-17,
Su Purui; Ying Lingyun; Feng Dengguo
  |  
 
optimal prefix caching and data sharing strategy [会议论文]
IEEE International Conference on Multimedia and Expo (ICME 2008), Hannover, GERMANY, JUN 23-26,
Li Kaihui; Xu Changqiao; Zhang Yuanhai; Wu Zhimei
  |  
 
a mechanical approach for deriving algorithmic programs [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Xue Jinyun; Du Dawei
  |  
 
test data generation for c programs with string-handling functions [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Ruan Hui; Zhang Jian; Yan Jun
  |  
 
eata: effectiveness based aggregation time allocation algorithm for wireless sensor networks [会议论文]
13th IEEE Symposium on Computers and Communications, Marrakech, MOROCCO, JUL 06-09,
Huangfu Wei; Liu Yan; Duan Bin; Sun Limin; Ma Jian; Chen Canfeng
  |  
 
dynamic reconfiguration method for web service based on policy [会议论文]
International Symposium on Electronic Commerce and Security, Guangzhou, PEOPLES R CHINA, AUG 03-05,
Dong Wenli
  |  
 

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

 

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