2162 search results - page 242 / 433 » A Meta-Notation for Protocol Analysis |
175
click to vote
ICECCS
2005
IEEE
16 years 6 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
195
click to vote
WORDS
2005
IEEE
16 years 5 days ago
2005
IEEE
Wireless devices that communicate using the IEEE 802.11 protocol can be used to create mobile ad-hoc networks (MANETs). Many interesting applications using MANETs are realizable i...
178
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
167
click to vote
VTC
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—In this paper, the calculation of saturation throughput for previously proposed Multi-User - Distributed Coordination Function (MU-DCF) is presented. MU-DCF is an IEEE 8...
166
click to vote
CONEXT
2006
ACM
16 years 17 days ago
2006
ACM
In wireless sensor networks, hello protocols for neighbor discovery are a basic service offered by the networking stack. However, their study usually rely on rather simplistic mo...