Sciweavers

676 search results - page 26 / 136
» A theory of aspects
Sort
View
EMSOFT
2001
Springer
15 years 10 months ago
Interface Theories for Component-Based Design
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...
Luca de Alfaro, Thomas A. Henzinger
SIAMSC
2008
126views more  SIAMSC 2008»
15 years 6 months ago
Towards a Statistical Theory of Texture Evolution in Polycrystals
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
K. Barmak, M. Emelianenko, Dmitry Golovaty, David ...
ALIFE
2004
15 years 6 months ago
Autopoiesis and Natural Drift: Genetic Information, Reproduction, and Evolution Revisited
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...
Arantza Etxeberria
LOGCOM
2010
85views more  LOGCOM 2010»
15 years 4 months ago
The Logic of Quasi-MV Algebras
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...
Félix Bou, Francesco Paoli, Antonio Ledda, ...
DM
2011
158views Education» more  DM 2011»
14 years 9 months ago
A survey of homogeneous structures
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
Dugald Macpherson