Sciweavers

320 search results - page 20 / 64
» Automatic web service composition with abstraction and refin...
Sort
View
IS
2006
13 years 7 months ago
Composition of Semantic Web services using Linear Logic theorem proving
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)...
Jinghai Rao, Peep Küngas, Mihhail Matskin
BIS
2007
124views Business» more  BIS 2007»
13 years 8 months ago
Evaluating Quality of Web Services: A Risk-Driven Approach
Abstract. Composing existing web services to obtain new functionalities is important for e-business applications. Deficiencies of aggregated web services can be compensated involv...
Natallia Kokash, Vincenzo D'Andrea
IADIS
2004
13 years 8 months ago
On the use of web service compositions for systems management automation: a use case
In this paper we address the issue of automating systems management. Currently, any changes made in the configuration settings of the IT infrastructure in an enterprise are perfor...
Dimka Karastoyanova, Alejandro P. Buchmann
AIMSA
2004
Springer
14 years 24 days ago
Planning and Monitoring Web Service Composition
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...
Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, ...
ICWS
2004
IEEE
13 years 8 months ago
Logic-based Web Services Composition: From Service Description to Process Model
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...
Jinghai Rao, Peep Küngas, Mihhail Matskin