388 search results - page 23 / 78 » Toward Semantic Composition of Web Services with MOVE |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
SOCO
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
INTELLCOMM
2004
Springer
14 years 1 months ago
2004
Springer
This paper discusses possible routes to moving the web from a collection of human readable pieces of information connecting humans, to a web that connects computing devices based o...
ICSE
2004
IEEE-ACM
14 years 7 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...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
The growing infrastructure for Web Services assumes a "programmer in the loop" that hardcodes the connections between Web Services and directly programs Web Service comp...