496 search results - page 52 / 100 » Model Checking Expressive Web Service Descriptions |
BPM
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...
AEI
2007
13 years 9 months ago
2007
A peer-to-peer (p2p) based service flow management system, SwinDeW-S, could support decentralised Web service composition, deployment and enactment. However, traditional workflow ...
BXML
2003
13 years 10 months ago
2003
Abstract: GEMINI (Generic Environment for Multilingual Interactive Natural Interfaces) is an EC funded research project. The goal of GEMINI is to provide a flexible platform for t...
INTERNET
2006
13 years 9 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
ICWS
2007
IEEE
13 years 10 months ago
2007
IEEE
With an increasing number of Web services providing similar functionalities, Quality of Service (QoS) is becoming an important criterion for selection of the best available servic...