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

Search Results

Help

Item hits: (Results 71-80 of 133)

Items/Page:    Sort:
action reasoning independent of designer [期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009-01-01, 卷号: 46, 期号: 11, 页码: 1917-1924
Zhou Shengming; Wang Ju; Jiang Yuncheng

 
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
  |  
 
test case reduction technique for bpel-based testing [会议论文]
International Symposium on Electronic Commerce and Security, Guangzhou, PEOPLES R CHINA, AUG 03-05,
Dong Wenli
  |  
 
multi-agent test environment for bpel-based web service composition [会议论文]
IEEE International Conference on Cybernetic Intelligent Systems (CIS 2008), Chengdu, PEOPLES R CHINA, SEP 21-24,
Dong Wenli
  |  
 
a flexible transformation scheme between the or of bpmn and link of bpel [会议论文]
3rd IEEE Asia-Pacific Service Computing Conference (APSCC 2008), Yilan, TAIWAN, DEC 09-12,
Bai Lin; Wei Jun
  |  
 
efficient concurrent zero knowledge arguments for np in the bare public-key model [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2008-01-01, 卷号: 19, 期号: 2, 页码: 468-478
Deng Yi; Lin Dong-Dai

 
reasoning with recursive loops under the plp framework [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008-01-01, 卷号: 9, 期号: 4, 页码: -
Shen Yi-Dong
  |  
 
ehrenfeucht-fraisse games in finite set theory [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 1, 页码: 3-9
Zhou Xiang
  |  
 
高性能的XML解析器OnceXMLParser [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 10, 页码: 2728-2738
金蓓弘; 曹冬磊; 任鑫; 余双; 戴蓓洁
  |  
 

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

 

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