632 search results - page 106 / 127 » Large-Scale Service Composition in Semantic Service Discover... |
88
Voted
SIGSOFT
2008
ACM
15 years 12 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
103
Voted
BROADNETS
2006
IEEE
15 years 2 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
COMGEO
2010
ACM
14 years 9 months ago
2010
ACM
In recent years, the standards of OGC’s Sensor Web Enablement (SWE) initiative have been applied in a multitude of projects to encapsulate heterogeneous geosensors for web-based...
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
170
click to vote
ICDE
1999
IEEE
16 years 14 days ago
1999
IEEE
InfoSleuth1is an agent-based system for information discovery and retrieval in a dynamic, open environment. This paper discusses InfoSleuth's multibroker design and implement...