183 search results - page 14 / 37 » Safety analysis of usage control authorization models |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper applies the modified Fisher Information Matrix (FIM) motion algorithm previously proposed by the authors to the task of locating a circular biochemical source. We d...
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
ICONS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
DAGM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...
IFIP
2009
Springer
13 years 6 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...