714 search results - page 52 / 143 » Verification and Compliance Testing |
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
SIGSOFT
2004
ACM
14 years 10 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
AC
2003
Springer
14 years 1 months ago
2003
Springer
In this paper two methods for human face recognition and the influence of location mistakes are shown. First one, Principal Components Analysis (PCA), has been one of the most appl...
PAMI
2006
13 years 10 months ago
2006
This paper is concerned with the performance evaluation of fingerprint verification systems. After an initial classification of biometric testing initiatives, we explore both the t...