2470 search results - page 402 / 494 » Liveness-Preserving Simulation Relations |
106
Voted
IWNAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Recent work in mobile ad hoc networks, simply MANETs, has drawn attention to the mobility capability of each node. In [5], it is proved that the optimal positions of the relay nod...
ROBIO
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— We address the problem of robotic real-time binaural hearing using a humanoid head. The sound detection ability for a previously proposed robotic 3D binaural sound loca...
99
Voted
ROBIO
2006
IEEE
15 years 6 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
120
click to vote
RTAS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
118
click to vote
RTAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Real-time media servers are becoming increasingly important as the Internet supports more and more multimedia applications. In order to meet these ever increasing demands, real-ti...