Sciweavers

7058 search results - page 287 / 1412
» Modelling Business Process Performance
Sort
View
CSDA
2004
129views more  CSDA 2004»
15 years 3 months ago
Gaussian process for nonstationary time series prediction
In this paper, the problem of time series prediction is studied. A Bayesian procedure based on Gaussian process models using a nonstationary covariance function is proposed. Exper...
Sofiane Brahim-Belhouari, Amine Bermak
MKWI
2008
168views Business» more  MKWI 2008»
15 years 4 months ago
Towards Automated Risk Identification in Service-Oriented Architectures
: IT risk management is an important challenge for businesses and software vulnerabilities are a major source of IT risks, as the 2006 CSI/FBI Computer Crime and Security Survey [G...
Lutz Lowis
WSC
2008
15 years 5 months ago
Optimizing inspection strategies for multi-stage manufacturing processes using simulation optimization
This paper deals with the problem of determining the optimal inspection strategy for a multi-stage production process using simulation optimization. An optimal inspection strategy...
Vahid Sarhangian, Abolfazl Vaghefi, Hamidreza Eska...
144
Voted
CONCUR
2001
Springer
15 years 7 months ago
Bounded Reachability Checking with Process Semantics
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
Keijo Heljanko
156
Voted
MAGS
2006
150views more  MAGS 2006»
15 years 3 months ago
The Agent-Rule-Class framework for Multi-Agent Systems
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
Liang Xiao 0002, Des Greer