2470 search results - page 273 / 494 » Liveness-Preserving Simulation Relations |
146
click to vote
SASO
2008
IEEE
16 years 12 days ago
2008
IEEE
We consider the problem of Object Safety: how objects endowed with processing, communication, and sensing capabilities can determine their safety. We assign an agent to each objec...
171
click to vote
GLOBECOM
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract—In this paper, we propose a new adaptive MPLSenabled micro-mobility management scheme designed to track efficiently the mobility of nodes so as to minimize both handoff...
143
click to vote
GLVLSI
2007
IEEE
16 years 11 days ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
144
click to vote
ICC
2007
IEEE
16 years 11 days ago
2007
IEEE
—This paper proposes an algorithm for the adaptive adjustment of the transmission rate of VoIP sources based on the voice quality estimated at the receiver. This adjustment is ac...
147
click to vote
IROS
2007
IEEE
16 years 10 days ago
2007
IEEE
—This paper describes efficient utilization of human time by two means: prioritization of human tasks and maximizing multirobot team size. We propose an efficient scheduling algo...