Sciweavers

7058 search results - page 558 / 1412
» Modelling Business Process Performance
Sort
View
SRDS
2005
IEEE
16 years 1 months ago
A new look at atomic broadcast in the asynchronous crash-recovery model
Atomic broadcast in particular, and group communication in general, have mainly been specified and implemented in a system model where processes do not recover after a crash. The...
Sergio Mena, André Schiper
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
16 years 1 months ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...
MLDM
2009
Springer
16 years 2 months ago
Drift-Aware Ensemble Regression
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...
Frank Rosenthal, Peter Benjamin Volk, Martin Hahma...
FMCAD
2000
Springer
15 years 11 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
EOR
2006
104views more  EOR 2006»
15 years 7 months ago
Link function selection in stochastic multicriteria decision making models
A stochastic formulation of the Analytic Hierarchy Process (AHP) using an approach based on Bayesian categorical data models has been developed. However, in categorical data model...
Eugene D. Hahn