Sciweavers

767 search results - page 98 / 154
» Model-Based Development of Distributed Embedded Real-Time Sy...
Sort
View
EMSOFT
2007
Springer
15 years 6 months ago
Necessary and sufficient conditions for deterministic desynchronization
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
USS
2008
15 years 4 months ago
VoteBox: A Tamper-evident, Verifiable Electronic Voting System
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
Daniel Sandler, Kyle Derr, Dan S. Wallach
CORR
2004
Springer
191views Education» more  CORR 2004»
15 years 2 months ago
Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
Pedro U. Lima, Luís M. M. Custódio
ERSHOV
1993
Springer
15 years 6 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
ICIAP
2003
ACM
16 years 2 months ago
Olympus: an ambient intelligence architecture on the verge of reality
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
F. Bertamini, Roberto Brunelli, Oswald Lanz, A. Ro...