4143 search results - page 72 / 829 » A theory of distributed aspects |
EMSOFT
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
ALIFE
2004
13 years 7 months ago
2004
The contribution of the theory of autopoiesis to the definition of life and biological theory affirms biological autonomy as a central notion of scientific and philosophical inquir...
LOGCOM
2010
13 years 6 months ago
2010
The algebraic theory of quasi-MV algebras, generalisations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define sever...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper introduces a simple and very general theory of compressive sensing. In this theory, the sensing mechanism simply selects sensing vectors independently at random from a ...
IANDC
2008
13 years 7 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...