13 search results - page 3 / 3 » Scheduling Messages with Deadlines in Multi-Hop Real-Time Se... |
ENTCS
2007
13 years 4 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
DSN
2000
IEEE
13 years 9 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
WOWMOM
2006
ACM
13 years 10 months ago
2006
ACM
In recent years, mobile elements (MEs) have been proposed as mechanical carriers of data to prolong the lifetime of sensor networks and to overcome network partitioning problem. A...