Sciweavers

4806 search results - page 109 / 962
» Interactive uncertainty analysis
Sort
View
107
Voted
ECSQARU
2003
Springer
15 years 7 months ago
Decision Making Based on Sampled Disease Occurrence in Animal Herds
To make qualified decisions when extrapolating results from a survey sample with imprecise tests requires careful handling of uncertainty. Both the imprecise test and uncertainty ...
Michael Höhle, Erik Jørgensen
114
Voted
HICSS
2009
IEEE
128views Biometrics» more  HICSS 2009»
15 years 6 months ago
Cyber Security Risks Assessment with Bayesian Defense Graphs and Architectural Models
To facilitate rational decision making regarding cyber security investments, decision makers need to be able to assess expected losses before and after potential investments. This...
Teodor Sommestad, Mathias Ekstedt, Pontus Johnson
128
Voted
WSC
1998
15 years 4 months ago
Bayesian Model Selection when the Number of Components is Unknown
In simulation modeling and analysis, there are two situations where there is uncertainty about the number of parameters needed to specify a model. The first is in input modeling w...
Russell C. H. Cheng
147
Voted
ECOOP
1993
Springer
15 years 6 months ago
A Timed Calculus for Distributed Objects with Clocks
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
Ichiro Satoh, Mario Tokoro
104
Voted
TSMC
2008
113views more  TSMC 2008»
15 years 2 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley