4349 search results - page 471 / 870 » A Comprehensive Process Model for Studying Software Process ... |
164
Voted
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
This paper applies a Bayesian network to model multi criteria distribution maps and to discover knowledge contained in spatial data. The procedure consists of three steps: pre pro...
209
click to vote
ICFEM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
152
Voted
MDM
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we consider a data model for uncertain trajectories of moving objects. In our model, the trajectory is a vector of uniform stochastic processes. We study “univers...
155
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
130
click to vote
WSC
2000
15 years 7 months ago
2000
This paper demonstrates the use of simulation in an evaluative study for the technology of liver transplantation from cost-effectiveness point of view. This study is conducted in ...