1173 search results - page 108 / 235 » On the Compositionality of Round Abstraction |
107
Voted
FORTE
2007
15 years 2 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
PDPTA
2007
15 years 2 months ago
2007
Abstract In this paper we investigate the composition of cheap network storage resources to meet specific availability and capacity requirements. We show that the problem of find...
115
click to vote
NIPS
2000
15 years 2 months ago
2000
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
103
Voted
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
102
click to vote
FC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computatio...