In a distributed multi-user game, entities need to communicate their state information to other entities. Usually only a subset of the game's entities are interested in infor...
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. ...
A flash crowd is a surge in traffic to a particular Web site that causes the site to be virtually unreachable. We present a theoretical model of flash crowd events and evaluate...
Ismail Ari, Bo Hong, Ethan L. Miller, Scott A. Bra...
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...