133 search results - page 1 / 27 » Accurate Timeliness Simulations for Real-Time Wireless Senso... |
EMS
2009
IEEE
13 years 11 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
RTAS
2005
IEEE
13 years 10 months ago
2005
IEEE
Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to ...
FMOODS
2007
13 years 5 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
ICDCSW
2008
IEEE
13 years 10 months ago
2008
IEEE
Cyber Physical Systems (CPSs) have grand visions with great socio-economic impacts such as blackout-free electricity supply and real-time disaster recovery. A key challenge is pro...
IEEECIT
2010
IEEE
13 years 2 months ago
2010
IEEE
—Distributed computing systems often strive to decouple their communicating components (threads on a single node, or nodes in a network) from each other with respect to time, spa...