WSC
1997
14 years 4 months ago
1997
We propose a new estimator for some performance measures obtained from a regenerative simulation of a discrete-time Markov chain. Our new estimator is based on the idea of generat...
CSFW
2002
IEEE
14 years 7 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...