280 search results - page 39 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
UAI
1997
13 years 10 months ago
1997
Recursive graphical models usually underlie the statistical modelling concerning probabilistic expert systems based on Bayesian networks. This paper de nes a version of these mode...
ICEGOV
2009
ACM
13 years 6 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Application specific systems have potential for customization of design with a view to achieve a better costperformance-power trade-off. Such customization requires extensive de...
COMCOM
2002
13 years 8 months ago
2002
Recent security incidents and analysis have demonstrated that manual response to such attacks is no longer feasible. Intrusion Detection systems offer techniques for modelling and...