4305 search results - page 552 / 861 » Analysing Protocol Implementations |
123
Voted
SIGCOMM
2010
ACM
15 years 5 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...
171
click to vote
FMICS
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
160
click to vote
ANOR
2007
15 years 5 months ago
2007
This paper introduces a model for Distributed Employee Timetabling Problems (DisETPs) and proposes a general architecture for solving DisETPs by using a Multi Agent System (MAS) pa...
140
click to vote
CN
2008
15 years 5 months ago
2008
The connectivity of the Internet crucially depends on the relationships between thousands of Autonomous Systems (ASes) that exchange routing information using the Border Gateway P...
163
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Sensor networks are currently an active research area mainly due to the potential of their applications. In this paper we investigate the use of Wireless Sensor Networks (WSN) for...