1980 search results - page 353 / 396 » Compositional Model Checking of Real Time Systems |
IAT
2005
IEEE
14 years 2 months ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
MM
2003
ACM
14 years 2 months ago
2003
ACM
We present a new model of interactive audio for entertainment and communication. A new device called the DJammer and its associated technologies are described. The DJammer introdu...
EUROPAR
2006
Springer
14 years 20 days ago
2006
Springer
This paper is motivated by a need of practical asynchronous network systems, i.e., a wait-free distributed mutual exclusion algorithm (WDME). The WDME algorithm is very appealing w...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this paper, we present a novel approach to controlling a robotic system online from scratch based on the reinforcement learning principle. In contrast to other approaches, o...
SENSYS
2005
ACM
14 years 2 months ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...