250 search results - page 39 / 50 » Towards Formal Verification of Web Service Composition |
SWS
2004
ACM
14 years 2 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
FMOODS
2006
13 years 10 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
ICIW
2009
IEEE
14 years 3 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
The push toward business process automation has generated the need for integrating different enterprise applications involved in such processes. The typical approach to integration...
ENTCS
2008
13 years 8 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...