5599 search results - page 151 / 1120 » Abstract State Services |
120
click to vote
ASM
2005
ASM
15 years 7 months ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
139
click to vote
EUROMICRO
2005
IEEE
15 years 7 months ago
2005
IEEE
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...
136
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
131
click to vote
IS
2006
15 years 1 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
153
click to vote
FORTE
2009
14 years 11 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...