2162 search results - page 73 / 433 » A Meta-Notation for Protocol Analysis |
CORR
2007
Springer
13 years 8 months ago
2007
Springer
—The focus of this paper is an information-theoretic study of retransmission protocols for reliable packet communication under a secrecy constraint. The hybrid automatic retransm...
FM
2006
Springer
14 years 13 days ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
BMCBI
2006
13 years 8 months ago
2006
Background: In the fly Drosophila melanogaster, new genetic, physiological, molecular and behavioral techniques for the functional analysis of the brain are rapidly accumulating. ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract--Cooperative transmission is an emerging communication technique that takes advantage of the broadcast nature of wireless channels. However, due to low spectral efficiency...
EJWCN
2010
13 years 3 months ago
2010
To achieve off-line delegation for mobile readers, we propose a delegation protocol for mobile RFID allowing its readers access to specific tags through back-end server. That is t...