Frameworks for evaluating discrete event dynamic systems Bernard P. ZeiglerWilliam H. Sanders OriginalPaper Pages: 113 - 118
An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS H. PraehoferF. AuernigG. Reisinger OriginalPaper Pages: 119 - 149
DEVS methodology for evaluating time-constrained message routing policies Myung Soo AhnTag Gon Kim OriginalPaper Pages: 173 - 192
Extending the DEVS formalism for massively parallel simulation Yung-Hsin WangBernard P. Zeigler OriginalPaper Pages: 193 - 218
Specification techniques for Markov reward models Boudewijn R. HaverkortKishor S. Trivedi OriginalPaper Pages: 219 - 247
Modeling discrete event systems with state-dependent deterministic service times Christoph LindemannReinhard German OriginalPaper Pages: 249 - 270
Efficient simulation of hierarchical stochastic activity network models William H. SandersRoberto S. Freire OriginalPaper Pages: 271 - 299