Sciweavers

305 search results - page 9 / 61
» Proof as Composition: An approach for the Large-granularity ...
Sort
View
CSAC
2006
13 years 8 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
IEEESCC
2009
IEEE
14 years 2 months ago
Web Service Substitution Based on Preferences Over Non-functional Attributes
In many applications involving composite Web services, one or more component services may become unavailable. This presents us with the problem of identifying other components tha...
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
ECAI
2004
Springer
13 years 11 months ago
Configuration of Web Services as Parametric Design
Abstract. The configuration of Web services is particularly hard given the heterogeneous, unreliable and open nature of the Web. Furthermore, such composite Web services are likely...
Annette ten Teije, Frank van Harmelen, Bob J. Wiel...
WEBI
2010
Springer
13 years 5 months ago
Learning Task Specific Web Services Compositions with Loops and Conditional Branches from Example Executions
Majority of the existing approaches to service composition, including the widely popular planning based techniques, are not able to automatically compose practical workflows that ...
Harini Veeraraghavan, Roman Vaculín, Manuel...
ICWS
2004
IEEE
13 years 8 months ago
Team-based Agents for Proactive Failure Handling in Dynamic Composition of Web Services
Currently web services composition problems are addressed using AI planning techniques . The team-based approach, with emphases on the sharing of mental models and proactive colla...
Xiaocong Fan, Karthikeyan Umapathy, John Yen, Sand...