1362 search results - page 121 / 273 » Model Checking Large Network Protocol Implementations |
110
Voted
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
— We treat the problem of large-scale TCP poisoning: an attacker, who is able to monitor TCP packet headers in the network, can deny service to all flows traversing the monitori...
133
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—We consider a distributed shuffling algorithm for sharing data in a distributed network. Nodes executing the algorithm periodically contact each other and exchange data. The be...
151
Voted
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
138
click to vote
RECONFIG
2008
IEEE
15 years 10 months ago
2008
IEEE
Platform FPGAs are capable of hosting entire Linuxbased systems including standard peripherals, integrated network interface cards and even disk controllers on a single chip. File...
141
Voted
TPDS
2010
15 years 1 months ago
2010
—In an n-way broadcast application, each one of n overlay nodes wants to push its own distinct large data file to all other n À 1 destinations as well as download their respecti...