42 search results - page 9 / 9 » Scoped Bellman-Ford Geographic Routing for Large Dynamic Wir... |
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we look at the problem of accurately reconstructing distributed signals through the collection of a small number of samples at a data gathering point. The techniqu...
ENTCS
2007
13 years 7 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-...