72 search results - page 13 / 15 » Verification of SAP Reference Models |
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Variation due to viewpoint is one of the key challenges that stand in the way of a complete solution to the face recognition problem. It is easy to note that local regions of the ...
CSL
2006
Springer
14 years 1 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
ISVC
2010
Springer
13 years 7 months ago
2010
Springer
This paper reports an experimental analysis of footsteps as a biometric. The focus here is on information extracted from the time domain of signals collected from an array of piezo...
CIVR
2007
Springer
14 years 4 months ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
USS
2008
14 years 3 days ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...