2021 search results - page 53 / 405 » COCO: Composition Model and Composition Model Implementation |
148
click to vote
JWSR
2008
15 years 4 months ago
2008
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
130
click to vote
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
137
click to vote
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
107
click to vote
JLP
2010
14 years 11 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
142
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...