780 search results - page 50 / 156 » Compositional Quantitative Reasoning |
104
click to vote
SOCO
2010
Springer
14 years 10 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 ...
120
click to vote
FASE
2005
Springer
15 years 6 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...
87
Voted
ICCBR
2005
Springer
15 years 6 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ï...
104
click to vote
TCC
2004
Springer
15 years 6 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...
125
Voted
ECMDAFA
2006
Springer
15 years 4 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...