1362 search results - page 131 / 273 » Model Checking Large Network Protocol Implementations |
137
Voted
ICNP
2005
IEEE
15 years 9 months ago
2005
IEEE
In wireless networks, it is well understood what throughput can be achieved by nodes who can hear each other (i.e. nodes within a single cell)[1, 3]. The effects of nodes beyond t...
136
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes a Secure INtrusion-Tolerant Replication Architecture1 (SINTRA) for coordination in asynchronous networks subject to Byzantine faults. SINTRA supplies a number...
100
click to vote
ICNP
1999
IEEE
15 years 7 months ago
1999
IEEE
Video prefetching has been proposed recently for the transmission of variable-bit-rate(VBR) video over a packetswitched network. The objective of these protocols is to prefetch fu...
127
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...
151
Voted
FORTE
2010
15 years 4 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...