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

Search Results

Help

Item hits: (Results 41-50 of 140)

Items/Page:    Sort:
checking inconsistency of rule sets in active real-time databases [会议论文]
11th IEEE High Assurance Systems Engineering Symposium, Nanjing, PEOPLES R CHINA, DEC 03-05,
Zhang Jian
  |  
 
test case reduction technique for bpel-based testing [会议论文]
International Symposium on Electronic Commerce and Security, Guangzhou, PEOPLES R CHINA, AUG 03-05,
Dong Wenli
  |  
 
implementing higher-order control in java [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Yu Gang
  |  
 
efficient event matching in publish/subscribe: based on routing destination and matching history [会议论文]
IEEE International Conference on Networking, Architecture, and Storage, Chongqing, PEOPLES R CHINA, JUN 12-14,
Guo Xiangfeng; Wei Jun; Han Dongli
  |  
 
partition refinement in abstract model checking [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Pu Fei; Zhang Wenhui
  |  
 
research on the recommending method used in c2c online trading [会议论文]
IEEE/WIC/ACM International Conference on Intelligent Agent Technology and Web Intelligence, Fremont, CA, NOV 02-05,
Cheng Guangyao
  |  
 
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
  |  
 
integrated rate control and buffer management for scalable video streaming [会议论文]
IEEE International Conference on Multimedia and Expo (ICME 2007), Beijing, PEOPLES R CHINA, JUL 02-05,
Zhang Yuanhai; Wei Huangfu; Xu Jin; Li Kaihui; Xu Changqiao
  |  
 
an efficient and scalable smoothing algorithm of vbr streams [会议论文]
IEEE International Conference on Multimedia and Expo (ICME 2007), Beijing, PEOPLES R CHINA, JUL 02-05,
Li Kaihui; Xu Changqiao; Xu Jin; Zhang Yuanhai
  |  
 
dynamic memory allocation and data sharing schedule in media server [会议论文]
IEEE International Conference on Multimedia and Expo (ICME 2007), Beijing, PEOPLES R CHINA, JUL 02-05,
Li Kaihui; Zhang Yuanhai; Xu Jin; Xu Changqiao
  |  
 

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

 

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