1362 search results - page 168 / 273 » Model Checking Large Network Protocol Implementations |
167
Voted
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—In an n-way broadcast application each one of n overlay nodes wants to push its own distinct large data file to all other n-1 destinations as well as download their respective ...
136
click to vote
GAMESEC
2010
15 years 1 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
118
click to vote
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
102
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this work, we conduct a throughput-cost study of several optical network architectures: Optical Flow Switching (OFS), Tell-and-Go (TaG), Electronic Packet Switching (EPS), a...
140
click to vote
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Proxy caching servers are widely deployed in today’s Internet. While cooperation among proxy caches can significantly improve a network’s resilience to denial-of-s...