176 search results - page 15 / 36 » Abstraction and Refinement in Protocol Derivation |
PIMRC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract-- Due to the limited energy supplies of nodes in wireless networks, achieving energy efficiency is crucial for extending the lifetime of these networks. Thus, we study eff...
PRDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—In this paper, we study algebraic aggregate computations in Sensor Networks. The main contribution is the presentation of an early-stopping protocol that computes the av...
WIOPT
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—In this paper, we present our results on the performance of MAC protocols in multi-hop wireless ad hoc networks in terms of the newly proposed metric “aggregate multi-...
ADHOCNOW
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this work we investigate bounds on throughput and delay performance of a scheduling protocol that derives its decisions from codes traditionally used to correct or det...
WAIFI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...