1187 search results - page 79 / 238 » A Timed Calculus for Wireless Systems |
161
Voted
WIOPT
2006
IEEE
15 years 10 months ago
2006
IEEE
— We explore the advantages of intelligently dropping a small fraction of packets that arrive for transmission over a time varying wireless downlink. Without packet dropping, the...
133
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A significant increase in real world event monitoring capability with wireless sensor networks brought a new challenge to ubiquitous computing. To manage high volume and...
150
click to vote
ENTCS
2007
15 years 3 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-...
139
Voted
EMS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Epidemic-based communications, or “gossiping”, provides a robust and scalable method for maintaining a knowledge base in a sensor network faced with an unpredictable network...
110
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— We consider the problem of scheduling packets over a number of channels with time varying connectivity. Policies proposed for this problem either stabilize the system when the ...