974 search results - page 62 / 195 » Formal Modeling of Communication Traces |
SIGCOMM
1998
ACM
15 years 3 months ago
1998
ACM
In this paper we develop a simple analytic characterization of the steady state throughput, as a function of loss rate and round trip time for a bulk transfer TCP flow, i.e., a ...
APN
1994
Springer
15 years 3 months ago
1994
Springer
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—We propose to use multiscale entropy analysis in characterisation of network traffic and spectrum usage. We show that with such analysis one can quantify complexity and predict...
83
Voted
ASM
2008
ASM
15 years 1 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...