Sciweavers

5210 search results - page 255 / 1042
» Tools for Distributed Facilitation
Sort
View
APLAS
2007
ACM
15 years 10 months ago
Timed, Distributed, Probabilistic, Typed Processes
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...
Martin Berger, Nobuko Yoshida
WSC
2008
15 years 9 months ago
Management of HLA-based distributed legacy SLX-models
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...
Michael Raab, Thomas Schulze, Steffen Straßb...
FMOODS
2007
15 years 8 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
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...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
TNC
2004
132views Education» more  TNC 2004»
15 years 8 months ago
Distributed Encoding Environment based on Grids and IBP Infrastructure
This paper introduces an environment for distributed video transcoding based on Grid computing infrastructure and Internet Backplane Protocol storage infrastructure. A model for s...
Petr Holub, Lukás Hejtmánek
WSCG
2004
128views more  WSCG 2004»
15 years 8 months ago
Fast Intensity Distribution Functions for Soft and Hard Edged Spotlights
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 ...
Anders Hast, Tony Barrera, Ewert Bengtsson