2488 search results - page 178 / 498 » An improvement in formal verification |
119
click to vote
DSN
2008
IEEE
15 years 3 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
105
click to vote
ICSM
1996
IEEE
15 years 5 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Cryptographic check values (digital signatures, MACs and H-MACs) are useful only if they are free of errors. For that reason all of errors in cryptographic check values should be ...
CVPR
2008
IEEE
16 years 3 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 ...
121
click to vote
PKDD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...