416 search results - page 19 / 84 » Modular network trace analysis |
LOPSTR
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
CORR
2010
Springer
2010
Springer
Understanding periodicity and regularity of nodal encounters in mobile networks: A spectral analysis
13 years 8 months ago
Abstract--Study on human mobility is gaining increasing attention from the research community with its multiple applications to use in mobile networks, particularly for the purpose...
CASES
2006
ACM
14 years 3 months ago
2006
ACM
Within the field of automation technology the use of Industrial Ethernet is rising. This in turn demands devices capable of precisely recording, analyzing, and manipulating commu...
SIGCOMM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we develop simple models to study the performance of BitTorrent, a second generation peer-to-peer (P2P) application. We first present a simple fluid model and stu...
AAIM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Modularity, the recently defined quality measure for clusterings, has attained instant popularity in the fields of social and natural sciences. We revisit the rationale b...