Search Results

Item hits: (Results 131-140 of 143)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	conformance testing of bdi properties in agent-based software systems [会议论文] 12th Asia-Pacific Software Engineering Conference, APSEC'05, Taipei, Taiwan, 40878 Zheng M.; Alagar V.S.   |
	scheduling design of controllers with fuzzy deadline [会议论文] 2nd International Conference on Fuzzy Systems and Knowledge Discovery, Changsha, PEOPLES R CHINA, AUG 27-29, Jin H; Wang HG; Wang H; Wang DL   |
	handling synchronization problem in petri net-based system design by property-preserving transition-reduction [期刊论文] COMPUTER JOURNAL, 2005-01-01, 卷号: 48, 期号: 6, 页码: 692-701 Jiao L; Cheung TY; Lu WM   |
	基于系统级诊断理论的卫星网络故障诊断 [期刊论文] 电子学报, 2005-01-01, 卷号: 33, 期号: 11, 页码: 2066-2069 侯霞; 范植华; 胡刚   |
	rate distortion optimized mode decision in the scalable video coding [会议论文] IEEE International Conference on Image Processing, BARCELONA, SPAIN, SEP 14-17, Yang ZJ; Wu F; Li SP   |
	5轮SAFER++的非线性密码分析 [期刊论文] 电子学报, 2003-01-01, 卷号: 31, 期号: 7, 页码: 961-965 吴文玲; 马恒太; 唐柳英; 卿斯汉   |
	虚拟装配中感知机制构造 [期刊论文] 软件学报, 2002-01-01, 卷号: 13, 期号: 12, 页码: 2324-2330 程成   |
	一个基于填充函数变换的对称TSP问题的局部搜索算法 [期刊论文] 计算机学报, 2002-01-01, 卷号: 25, 期号: 7, 页码: 701-707 朱文兴; 傅清祥
	一种分析电子商务协议的新工具 [期刊论文] 软件学报, 2001-01-01, 卷号: 12, 期号: 9, 页码: 1318-1328 周典萃; 卿斯汉; 周展飞   |
	reduction algorithms based on discernibility matrix: the ordered attributes method [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001-01-01, 卷号: 16, 期号: 6, 页码: 489-504 Wang Jian(王健); Wang Jian(王健)

previous 5 6 7 8 9 10 11 12 13 14 15 next