Sciweavers

111 search results - page 10 / 23
» Synchronization Analysis for Decentralizing Composite Web Se...
Sort
View
JALC
2006
143views more  JALC 2006»
14 years 9 months ago
Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...
Oscar H. Ibarra, Bala Ravikumar, Cagdas Evren Gere...
ICWS
2008
IEEE
14 years 11 months ago
Communications Semantics for WSBPEL Processes
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...
Walid Fdhila, Mohsen Rouached, Claude Godart
ICEIS
2003
IEEE
15 years 2 months ago
Widam - Web Interaction Display and Monitoring
: In this paper we describe the design and implementation of a system called Web Interaction Display and Monitoring (WIDAM). We have developed a web based client-server application...
Hugo Gamboa, Vasco Ferreira
168
Voted
SIGMOD
2005
ACM
156views Database» more  SIGMOD 2005»
15 years 9 months ago
A snapshot of public web services
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
Jianchun Fan, Subbarao Kambhampati
ENTCS
2006
146views more  ENTCS 2006»
14 years 9 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...