182 search results - page 10 / 37 » A formal framework for the performance analysis of P2P netwo... |
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
DANCE
2002
IEEE
14 years 13 days ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The success of Internet telephony services like Skype illustrates the feasibility of utilizing unstructured Peer-to-Peer (P2P) networks as an economical platform for supp...
ANSS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper describes a secure and reliable method for storing data in a distributed hash table (DHT) leveraging the inherent properties of the DHT to provide a secure storage subs...
ISSTA
2000
ACM
13 years 12 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...