1362 search results - page 64 / 273 » Model Checking Large Network Protocol Implementations |
161
click to vote
ENTCS
2007
15 years 3 months ago
2007
Wireless sensor networks are comprised of a vast number of ultra-small autonomous computing, communication and sensing devices, with restricted energy and computing capabilities, ...
131
click to vote
CN
2006
15 years 4 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
140
click to vote
MOBISYS
2004
ACM
16 years 3 months ago
2004
ACM
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
137
click to vote
ADT
2006
15 years 4 months ago
2006
We present and validate TICP, a TCP-friendly reliable transport protocol to collect information from a large number of sources spread over the Internet. TICP is a stand-alone proto...
202
click to vote
REPLICATION
2010
15 years 2 months ago
2010
In this chapter, we discuss a widely used fault-tolerant data replication model called virtual synchrony. The model responds to two kinds of needs. First, there is the practical qu...