42 search results - page 9 / 9 » Scoped Bellman-Ford Geographic Routing for Large Dynamic Wir... |
GLOBECOM
2009
IEEE
13 years 11 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 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-...