Sciweavers

3463 search results - page 208 / 693
» Modeling and executing master-worker applications in compone...
Sort
View
ESWA
2006
243views more  ESWA 2006»
15 years 6 months ago
Knowledge based crime scenario modelling
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
Jeroen Keppens, Burkhard Schafer
QEST
2008
IEEE
16 years 25 days ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
FPL
2007
Springer
101views Hardware» more  FPL 2007»
16 years 18 days ago
Formal Modeling of Process Migration
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa...
WSC
2000
15 years 7 months ago
Distributed supply chain simulation in GRIDS
Amongst the majority of work done in Supply Chain Simulation, papers have emerged that examine the area of model distribution. The executions of simulations on distributed hosts a...
Rajeev Sudra, Simon J. E. Taylor, Tharumasegaram J...
BPM
2007
Springer
211views Business» more  BPM 2007»
15 years 10 months ago
Towards a Reference Process Model for Event Management
Events are becoming more and more important for companies as an instrument of marketing communication. Event management is an interdisciplinary task field, addressed in the most di...
Oliver Thomas, Bettina Hermes, Peter Loos