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

Search Results

Help

Item hits: (Results 131-140 of 143)

Items/Page:    Sort:
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

 

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