2291 search results - page 7 / 459 » Representational Reasoning and Verification |
104
click to vote
CASCON
2001
15 years 1 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
ARTS
1997
Springer
15 years 3 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
170
Voted
POPL
2003
ACM
15 years 12 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
106
Voted
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper, we propose a new approach for symbolic representation of off-line signatures based on relative distances between centroids useful for verification. Distances betwee...