1362 search results - page 97 / 273 » Model Checking Large Network Protocol Implementations |
133
Voted
JUCS
2008
15 years 3 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
138
Voted
MST
2010
14 years 10 months ago
2010
We consider the important problem of energy balanced data propagation in wireless sensor networks and we extend and generalize previous works by allowing adaptive energy assignment...
120
Voted
WSC
2001
15 years 5 months ago
2001
Congestion control algorithms, such as TCP or the closelyrelated additive increase-multiplicative decrease algorithms, are extremely difficult to simulate on a large scale. The re...
125
Voted
CCGRID
2002
IEEE
15 years 8 months ago
2002
IEEE
Porting large applications to distributed computing platforms is a challenging task from a software engineering perspective. The Computational Grid has gained tremendous popularit...
163
Voted
ADHOC
2006
15 years 3 months ago
2006
Unidirectional links in an ad hoc network can result from factors such as heterogeneity of receiver and transmitter hardware, power control or topology control algorithms, or diff...