2500 search results - page 394 / 500 » Specifying Behavior in C |
104
Voted
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Recent work on BitTorrent has shown that the choke/unchoke mechanism implements an auction where each peer tries to induce other peers into "unchoking" it by uploading m...
136
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
There has usually been a clean separation between networks and the applications that use them. Applications send packets over a simple socket API; the network delivers them. Howev...
119
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The study of vehicular ad-hoc networks (VANETs) requires efficient and accurate simulation tools. As the mobility of vehicles and driver behavior can be affected by network messag...
109
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
115
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...