2422 search results - page 287 / 485 » Composition of Services with Constraints |
187
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we introduce an extension of the PARADIGMA (PARticipative Approach to DIsease Global Management) approach to take into account the home healthcare assistanc...
194
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
204
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
169
click to vote
EDOC
2006
IEEE
16 years 21 days ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
183
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...