2407 search results - page 151 / 482 » A Tool for Abstraction in Model Checking |
197
click to vote
ACSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
189
Voted
FMCO
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
180
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we propose a new diagnostic checking tool for fuzzy rule-based modelling of time series. Through the study of the residuals in the Lagrange Multiplier testing framew...
189
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
200
Voted
QEST
2005
IEEE
16 years 16 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...