Search Results

Item hits: (Results 111-120 of 143)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	sat-based verification of ltl formulas [会议论文] 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC, Bonn, GERMANY, AUG 26-27, Zhang Wenhui   |
	symbolic bisimulations for probabilistic systems [会议论文] 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, United kingdom, September Wu Peng; Palamidessi Catuscia; Lin Huimin   |
	an a-team based framework for logistics scheduling [会议论文] ICSSSM07: 2007 International Conference on Service Systems and Service Management, Changdu, China, 43991 Fang Hongwei; Zheng Yujun   |
	an combination approach to tackling semantic conflicts based on rdf model [会议论文] 3rd International Conference on Semantics, Knowledge, and Grid, SKG 2007, Xian, China, 40845 Ma Yinglong; Jin Beihong   |
	web service discovery with uddi based on semantic similarity of service properties [会议论文] 3rd International Conference on Semantics, Knowledge, and Grid, SKG 2007, Xian, China, 40845 Tian Qiu; Lei Li; Pin Lin   |
	a unified service discovery framework [会议论文] 6th International Conferernce on Grid and Cooperative Computing, Urumchi, PEOPLES R CHINA, AUG 16-18, Jin Beihong; Zhang Liang; Zang Zhi   |
	a novel cooperative computing model for grid [会议论文] 3rd International Conference on Semantics, Knowledge, and Grid, SKG 2007, Xian, China, 40845 Liu Shaohua; Yu Junsheng; Ma Yinglong; Zuo Lin; Liu Qiang; Ding Ran   |
	a kernel-based algorithm for multilevel drawing web graphs [会议论文] Computer Graphics, Imaging and Visualisation: New Advances, CGIV 2007, Bangkok, Thailand, August 13, Huang Xiaodi; Lai Wei; Zhang Di; Huang Maolin; Nguyen Quang Vinh   |
	using gavish-grave lp to formulate the directed black and white traveling salesman problem [会议论文] 7th International Conference on Computational Science, ICCS 2007, Beijing, China, 43978 Jiang He; Zhang XianChao; Li MingChu; Che HaoYang   |
	核心化多级安全数据库系统未决提交事务日志写出依赖研究 [期刊论文] 计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1438-1446 徐震; 张敏   |

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