1362 search results - page 219 / 273 » Model Checking Large Network Protocol Implementations |
122
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
— We propose and analyze a novel decentralized mechanism that motivates otherwise non-cooperative stations to participate as relays in cooperative ARQ protocol. Cooperation incen...
177
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
137
click to vote
INFOCOM
1995
IEEE
15 years 6 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...
106
click to vote
ANSS
2005
IEEE
15 years 8 months ago
2005
IEEE
The random trip model was recently proposed as a generic mobility model that contains many particular mobility models, including the widely-known random waypoint and random walks,...
171
click to vote
ICPADS
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— Content replication and distribution is an effective technology to reduce the response time for web accesses and has been proven quite popular among large Internet cont...