114 search results - page 20 / 23 » Web service selection for transactional composition |
185
click to vote
CASCON
2010
14 years 8 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...
93
Voted
ISORC
2005
IEEE
15 years 5 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...
101
click to vote
AAAI
2008
15 years 2 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...
102
Voted
SEMWEB
2004
Springer
15 years 5 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...
95
Voted
ICWS
2008
IEEE
15 years 1 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 ...