Search Results

Item hits: (Results 71-80 of 133)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingIssue Date AscendingIssue Date Descending
	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