1048 search results - page 73 / 210 » On automated composition for web services |
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
GCC
2003
Springer
15 years 3 months ago
2003
Springer
Paper point out that composition of Web Services between enterprises is ineffective and costly at present technology level. A solution is proposed to compose Web Services of virtua...
PODS
2006
ACM
15 years 10 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
80
Voted
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
ICWS
2004
IEEE
14 years 11 months ago
2004
IEEE
This poster presents the web services framework in the Kepler scientific workflow system and illustrates them with a real-world example.