90 search results - page 16 / 18 » AnBx - Security Protocols Design and Verification |
115
click to vote
MSWIM
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
99
Voted
IIWAS
2008
15 years 1 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
106
Voted
SENSYS
2005
ACM
15 years 6 months ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...
152
Voted
ANCS
2010
ACM
14 years 10 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
221
Voted
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...