780 search results - page 50 / 156 » Compositional Quantitative Reasoning |
154
click to vote
SOCO
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
178
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
141
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for conï...
160
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
189
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...