Sciweavers

7587 search results - page 250 / 1518
» Network Analysis and Visualisation
Sort
View
CAAN
2004
Springer
16 years 19 days ago
Traceroute-Like Exploration of Unknown Networks: A Statistical Analysis
Luca Dall'Asta, J. Ignacio Alvarez-Hamelin, Alain ...
EUROPAR
2004
Springer
16 years 19 days ago
Parallel PEPS Tool Performance Analysis Using Stochastic Automata Networks
Lucas Baldo, Luiz Gustavo Fernandes, Paulo Roisenb...
FOSSACS
2004
Springer
16 years 19 days ago
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
Ajith Ramanathan, John C. Mitchell, Andre Scedrov,...