1104 search results - page 16 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ACSAC
2003
IEEE
14 years 25 days ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
DAGM
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
WSC
2007
13 years 9 months ago
2007
The modeling of systems mixing discrete and continuous behavior is a challenge for model builders. Sometimes, the continuous part is important, but small near the complex decision...
FS
2010
13 years 6 months ago
2010
The aim of this paper is to investigate the properties of stochastic volatility models, and to discuss to what extent, and with regard to which models, properties of the classical...
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...