Opening book details…
Can I read Stochastic Simulation Methods Applied to a Secure Electronic Voting Model on EtoBox?
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model by Jeremy T. Bradley; Stephen T. Gilmore is a Computer Science article available to read on EtoBox.
What is Stochastic Simulation Methods Applied to a Secure Electronic Voting Model about?
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the discrete state space of a PEPA model by a continuous equivalent, we can draw on rate equation simulation techniques from both chemical and biological modelling to avoid having to directly enumerate the huge state spaces involved. We use stochastic simulation techniques to provide traces of course-of-values time series representing the number of components in a particular state. Using such a technique we can get simulation results for models exceeding 10 10000 states within only a few seconds.
Who reads Stochastic Simulation Methods Applied to a Secure Electronic Voting Model?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Jeremy T. Bradley; Stephen T. Gilmore
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 2006
- Language
- EN
- Field
- Computer Science (Physical Sciences)