80 search results - page 2 / 16 » Talking about ABSS: Functional Descriptions of Models |
SSPR
2004
Springer
13 years 9 months ago
2004
Springer
Model-based image recognition requires a general model of the object that should be detected in an image. In many applications such models are not known a-priori instead of they mu...
CD
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
VLSID
2002
IEEE
14 years 4 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
ICTAC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
ARCS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...