2490 search results - page 106 / 498 » The Generalized Theory of Model Preference |
245
click to vote
GAMESEC
2011
14 years 3 months ago
2011
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...
137
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...
119
click to vote
ICAISC
2004
Springer
15 years 9 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
132
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
137
click to vote
SIAMAM
2000
15 years 4 months ago
2000
Abstract. A hydrodynamical model based on the theory of extended thermodynamics is presented for carrier transport in semiconductors. Closure relations for fluxes are obtained by e...