2162 search results - page 20 / 433 » A Meta-Notation for Protocol Analysis |
EMSOFT
2006
Springer
14 years 9 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
TWC
2008
13 years 8 months ago
2008
In this paper the tradeoff between energy and delay for wireless networks is studied. A network using a request-to-send (RTS) and clear-to-send (CTS) type medium access control (M...
WINET
2010
13 years 7 months ago
2010
Device discovery and connection establishment are fundamental to communication between two Bluetooth (BT) devices. In this paper, we give an analytical model of the time it takes f...
BMCBI
2007
13 years 8 months ago
2007
Background: Reverse transcription followed by real-time PCR is widely used for quantification of specific mRNA, and with the use of double-stranded DNA binding dyes it is becoming...
IPPS
1998
IEEE
14 years 27 days ago
1998
IEEE