209 search results - page 14 / 42 » Semi-Automatic Distribution Pattern Modeling of Web Service ... |
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...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...
EDOC
2008
IEEE
14 years 2 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
End-user service composition is a promising way to ensure flexible, quick and personalized information provision and utilization, and consequently to better cope with spontaneous ...
COORDINATION
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...