3151 search results - page 341 / 631 » Using query term order for result summarisation |
174
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Federated systems have recently attracted much attention because they allow loosely coupled organizations to share resources for common benefits. However, discovering r...
159
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
177
click to vote
BIS
2007
15 years 8 months ago
2007
Mailing list archives (i.e., the compilation of the messages posted up-to-now) are often published on the web and indexed by conventional search engines.They store a vast knowledg...
201
click to vote
GRID
2007
Springer
16 years 24 days ago
2007
Springer
— We describe an information service that aggregates metadata available in hundreds of information sources of the EGEE Grid infrastructure. It uses an ontology-based information ...
166
click to vote
SOCO
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...