Sciweavers

4761 search results - page 152 / 953
» Performance of Protocols
Sort
View
SPIN
1999
Springer
15 years 8 months ago
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
Gerard J. Holzmann
CCGRID
2004
IEEE
15 years 7 months ago
HTTP(P2P): a transaction based (HTTP) peer-to-peer protocol for the dissemination of Web-objects in congested networks
Highly popular websites can suffer classical congestion collapse because of the ability of outgoing `bursty' data to congest the server side link. Using the well known and re...
R. L. R. Mattson, S. Ghosh
MOBIHOC
2003
ACM
16 years 3 months ago
ATP: a reliable transport protocol for ad-hoc networks
Existing works have approached the problem of reliable transport in ad-hoc networks by proposing mechanisms to improve TCP's performance over such networks. In this paper we ...
Karthikeyan Sundaresan, Vaidyanathan Anantharaman,...
SAINT
2008
IEEE
15 years 10 months ago
Performance Measurements and Statistics of Tor Hidden Services
Tor (The Onion Routing) provides a secure mechanism for offering TCP-based services while concealing the hidden server’s IP address. In general the acceptance of services strong...
Karsten Loesing, Werner Sandmann, Christian Wilms,...
GLOBECOM
2007
IEEE
15 years 10 months ago
Improving Packet Delivery Performance of BGP During Large-Scale Failures
— The border gateway protocol (BGP) is known to take a long time to converge to a steady state following the failure of BGP routers or inter-router links. This has resulted in ex...
Amit Sahoo, Krishna Kant, Prasant Mohapatra