710 search results - page 142 / 142 » Two Energy-Efficient Routing Algorithms for Wireless Sensor ... |
GLOBECOM
2008
IEEE
13 years 12 months ago
2008
IEEE
Providing real-time multimedia services over a best-effort network is challenging due to the stringent delay requirements in the presence of complex network dynamics. Multiple des...
SUTC
2006
IEEE
2006
IEEE
Schedules with Minimized Access Latency for Disseminating Dependent Information on Multiple Channels
13 years 11 months ago
In wireless mobile environments, data broadcasting is an effective approach to disseminate information to mobile clients. In some applications, the access pattern of all the data...
ENTCS
2007
13 years 5 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-...
EMSOFT
2003
Springer
13 years 10 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
Privacy-preserving protocols allow multiple parties with private inputs to perform joint computation while preserving the privacy of their respective inputs. An important cryptogr...