305 search results - page 33 / 61 » Proof as Composition: An approach for the Large-granularity ... |
ICSOC
2004
Springer
14 years 2 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
ICSOC
2007
Springer
14 years 2 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
DGO
2007
13 years 10 months ago
2007
Poster. We highlight the latest developments in the Argos project. First, we describe our approach to automatic workflow composition. Second, we discuss the validation of the fre...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— The composition of network management information is a feature widely required but not properly supported in traditional management technologies. In the last years, Web...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...