170
click to vote
QEST
15 years 11 months ago
2007 IEEE 
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
171
click to vote
QEST
15 years 11 months ago
2007 IEEE 
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
151
click to vote
QEST
15 years 11 months ago
2007 IEEE 
Previous studies have shown that buffering packets in DRAM is a performance bottleneck. In order to understand the impediments in accessing the DRAM, we developed a detailed Petri...
133
Voted
QEST
15 years 11 months ago
2007 IEEE
Online auction sites have unique workloads and user behavior characteristics that do not exist in other e-commerce sites. Earlier studies by the authors identified i) significan...
149
Voted
QEST
15 years 11 months ago
2007 IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
|
Modeling and Simulation