1362 search results - page 143 / 273 » Model Checking Large Network Protocol Implementations |
111
click to vote
NETGAMES
2004
ACM
15 years 8 months ago
2004
ACM
Today’s Multi-player Online Games (MOGs) are challenged by infrastructure requirements, because of their server-centric nature. Peer-to-peer networks are an interesting alternat...
123
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
We discuss the modelling of FAST TCP and prove four stability results. Using the traditional continuous-time flow model, we prove, for general networks, that FAST TCP is globally ...
121
Voted
ISPDC
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
120
Voted
TON
2010
14 years 10 months ago
2010
We identify common hypotheses on which a large number of distinct mathematical models of WLANs employing IEEE 802.11 are founded. Using data from an experimental test bed and packe...
137
Voted
JSAC
2011
14 years 10 months ago
2011
Abstract—In this paper, we propose a distributed key management framework based on group signature to provision privacy in vehicular ad hoc networks (VANETs). Distributed key man...