Sciweavers

820 search results - page 73 / 164
» Making the Difference in Semantic Web Service Composition
Sort
View
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
SEMWEB
2007
Springer
14 years 2 months ago
Towards Semantic Web Service Engineering
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...
Gennady Agre, Zlatina Marinova, Tomás Parie...
ICWS
2003
IEEE
13 years 10 months ago
Cooperative Discovery for User-Centered Web Service Provisioning
In this paper we present means of personalization for user-centered Web services provisioning. We focus on the different phases of interaction with services and show how a coopera...
Wolf-Tilo Balke, Matthias Wagner
SERVICES
2010
159views more  SERVICES 2010»
13 years 10 months ago
LOG4SWS.KOM: Self-Adapting Semantic Web Service Discovery for SAWSDL
In recent years, a number of approaches to semantic Web service matchmaking have been proposed. Most of these proposals are based on discrete and thus relatively coarse Degrees of...
Stefan Schulte 0002, Ulrich Lampe, Julian Eckert, ...
JSW
2007
119views more  JSW 2007»
13 years 8 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi