5374 search results - page 250 / 1075 » The induction of communication protocols |
233
click to vote
IWRT
2010
15 years 4 months ago
2010
Current anti-collision protocols for active RFID systems stem from the ISO-18000-7 standard, which selects Frame Slotted Aloha as the underlying Medium Access Control protocol. How...
198
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper addresses the fairness of Medium Access Control (MAC) protocols that are capable of handling interference on the physical layer to a varying extent. The variat...
166
click to vote
EVOW
2004
Springer
16 years 2 days ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
195
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
167
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...