2909 search results - page 265 / 582 » Consistency of the theory of contexts |
158
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
132
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
167
click to vote
FROCOS
2005
Springer
16 years 4 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
149
click to vote
ICANN
2005
Springer
16 years 4 days ago
2005
Springer
Many approaches have emerged in the attempt to explain the memory process. One of which is the Theory of Neuronal Group Selection (TNGS), proposed by Edelman [1]. In the present wo...
171
click to vote
RELMICS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...