1681 search results - page 96 / 337 » Formal Design of Distributed Control Systems with Lustre |
AUTONOMICS
2008
ACM
14 years 20 days ago
2008
ACM
In this paper, we present a real application system based on wireless sensor network (WSN) for fence surveillance which is implemented on our development platform for WSN, called ...
SEFM
2009
IEEE
14 years 5 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
ESORICS
2009
Springer
14 years 11 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
ISORC
1999
IEEE
14 years 2 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...