404 search results - page 2 / 81 » Application of Linear Logic to Web Service Composition |
PODS
2006
ACM
14 years 5 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
ICWS
2004
IEEE
13 years 6 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
AICT
2006
IEEE
13 years 11 months ago
2006
IEEE
The Web services technology allows for easy creation of complex applications consisting of smaller components - Web services. This article performs an in-depth analysis of a Web s...
ADBIS
2006
Springer
13 years 8 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
HICSS
2005
IEEE
13 years 10 months ago
2005
IEEE
Web services composition is becoming increasingly important as organizations are now getting ready to provide more complex service-based applications. Contemporary literature on t...