Sciweavers

13791 search results - page 83 / 2759
» Modeling Web Interactions
Sort
View
ICWS
2004
IEEE
13 years 10 months ago
Managing Asynchronous Web Services Interactions
Asynchronous interactions are becoming more and more important in the implementation of complex B2B Web applications. This paper addresses correlation and coordination issues invo...
Marco Brambilla, Stefano Ceri, Mario Passamani, Al...
SIGSOFT
2008
ACM
14 years 9 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
ICWS
2009
IEEE
13 years 6 months ago
Discovery of Optimized Web Service Configurations Using a Hybrid Semantic and Statistical Approach
We present a Semantic Optimized Service Discovery (SemOSD) approach capable of handling Web service search requests on a fine-grained level of detail where we augment semantic ser...
Maciej Zaremba, Jacek Migdal, Manfred Hauswirth
APWEB
2003
Springer
14 years 2 months ago
An Event Based Approach to Web Service Design and Interaction
This paper advocates an approach to web service design and interaction that is based on web services simultaneously participating in shared business events. In contrast to one-to-o...
Wilfried Lemahieu, Monique Snoeck, Cindy Michiels,...
ISPDC
2003
IEEE
14 years 2 months ago
tuBiG - A Layered Infrastructure to Provide Support for Grid Functionalities
The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g....
Lenuta Alboaie, Sabin C. Buraga, Sinica Alboaie