100 search results - page 9 / 20 » Model-Checking of Web Services Choreography |
DEXAW
2008
IEEE
14 years 2 months ago
2008
IEEE
Failures during web service execution may depend on a wide variety of causes, such as network faults, server crashes, or application-related errors, such as unavailability of a re...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
ECOWS
2006
Springer
13 years 9 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer