Scalable formal analysis of reactive programs demands integration of modular reasoning techniques with existing analysis tools. Modular reasoning prin...

It is well known that in estimating performance measures associated with a stochastic system a good importance sampling distribution (IS) can give ord...

Maintaining a consistent view of the simulated world among different simulation nodes is a fundamental problem in large-scale distributed virtual envi...

When designing steady-state computer simulation experiments, one may be faced with the choice of batching observations in one long run or replicating...

Recommender systems have been evaluated in many, often incomparable, ways. In this article, we review the key decisions in evaluating collaborative fi...