This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
This article discusses management tasks that have to be supported for an efficient re-use of simulation models within HLA-based distributed simulation environments. After a review...
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
This paper introduces an environment for distributed video transcoding based on Grid computing infrastructure and Internet Backplane Protocol storage infrastructure. A model for s...
The purpose of this paper is twofold: to propose two fast distribution functions for spotlights and to use terminology used in stage lighting to model these luminaries. In OpenGL ...