2470 search results - page 382 / 494 » Liveness-Preserving Simulation Relations |
175
click to vote
APCHI
2008
IEEE
15 years 11 months ago
2008
IEEE
Routing through a backbone, which is responsible for performing and managing multipoint communication, reduces the communication overhead and overall energy consumption in wireless...
128
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— A predictive outage compensator co-located with the actuator node in a networked control system can be used to counteract unpredictable losses of data in the feedback control l...
123
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based...
123
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we study the problem of dynamic optimization of ping schedule in an active sonar buoy network deployed to provide persistent surveillance of a littoral area throu...
133
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
— Probe based data storage is a promising solution for satisfying the demand for ultra-high capacity storage devices. One of the main problems with probe storage devices is the w...