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

Search Results

Help

Item hits: (Results 111-120 of 143)

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

 

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