250 search results - page 28 / 50 » Towards Formal Verification of Web Service Composition |
AAAI
2006
13 years 10 months ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
ESWS
2004
Springer
14 years 2 months ago
2004
Springer
The next Web generation promises to deliver Semantic Web Services (SWS); services that are self-described and amenable to automated discovery, composition and invocation. A prerequ...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
PODS
2003
ACM
14 years 8 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Web processes must often operate in volatile environments where the quality of service parameters of the participating service providers change during the life time of the process...