2558 search results - page 338 / 512 » Model Composition Contracts |
119
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
traction Problem for PCF Hyland-Ong games model Concrete Representation Compositional Semantics? A Concrete Representation of Observational Equivalence for PCF Martin Churchill, Ji...
132
Voted
ENTCS
2010
15 years 4 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
123
click to vote
ENTCS
2008
15 years 4 months ago
2008
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
166
Voted
CRYPTO
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
143
click to vote
PR
2010
15 years 2 months ago
2010
Wavelet analysis has found widespread use in signal processing and many classification tasks. Nevertheless, its use in dynamic pattern recognition have been much more restricted ...