225 search results - page 14 / 45 » From Web Service Composition to Megaprogramming |
SIGMOD
2002
ACM
14 years 7 months ago
2002
ACM
Semantic Web Enabled Web Services (SWWS) will transform the web from a static collection of information into a distributed device of computation on the basis of Semantic Web techn...
IS
2006
13 years 7 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Web service composition enables seamless and dynamic integration of business applications on the web. The performance of the composed application is determined by the performance ...
ICWS
2008
IEEE
13 years 8 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...