1681 search results - page 159 / 337 » Formal Design of Distributed Control Systems with Lustre |
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
– This paper describes a wireless sensor network for mine safety monitoring. Based on the characteristics of underground mine gallery and the requirements for mine safety monitor...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
109
click to vote
SC
2000
ACM
15 years 2 months ago
2000
ACM
This paper shows how a state-of-the-art software distributed shared-memory (DSM) protocol can be efficiently extended to tolerate single-node failures. In particular, we extend a ...
124
click to vote
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
SemanticOrganizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and acci...
SAGA
2005
Springer
15 years 3 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...