114 search results - page 20 / 23 » Web service selection for transactional composition |
293
click to vote
CASCON
2010
15 years 2 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
161
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
168
click to vote
AAAI
2008
15 years 8 months ago
2008
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...
175
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
154
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
Today, multimedia system are still widely realized as monolithic systems. But building such applications using Service-Oriented Architectures -- especially for the Processing and ...