194 search results - page 15 / 39 » Composing heterogeneous reactive systems |
FASE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
TRIDENTCOM
2008
IEEE
14 years 5 months ago
2008
IEEE
— This paper presents the NTP experimental platform for heterogeneous wireless sensor networks (WSN), which is built on the campus of National Tsing Hua University under the supp...
ENTCS
2010
13 years 11 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
CEC
2008
IEEE
14 years 27 days ago
2008
IEEE
Abstract-- This paper presents an artificial homeostatic system (AHS) devoted to the autonomous navigation of mobile robots, with emphasis on neuro-endocrine interactions. The AHS ...
SAC
2003
ACM
14 years 4 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...