2763 search results - page 59 / 553 » The Dangerous 'All' in Specifications |
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
We present a new technique for content based image retrieval where feature vector to be matched is very much specific to the query image. A particular Peano scan which is optimal ...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
VL
1999
IEEE
14 years 1 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
CIARP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Graphics recognition deals with the specific pattern recognition problems found in graphics-rich documents, typical technical documentation of all kinds. In this paper, w...