240 search results - page 22 / 48 » SENECA - Simulation of Algorithms for the Selection of Web S... |
IEEEHPCS
2010
13 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Web processes must often operate in volatile environments where the quality of service parameters of the participating service providers change during the life time of the process...
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we present an autonomous and scalable WSMO-based methodology to describe quality of service (QoS) and geographic features of e-services in a peer-to-peer based envir...
JCIT
2010
13 years 2 months ago
2010
With an expanding of Web services giving same functionalities, Quality of Service (QoS) is becoming an important criterion for selection of the best available service. So users ne...
WWW
2005
ACM
14 years 1 months ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...