153 search results - page 6 / 31 » Properties of Signature Change Patterns |
TPHOL
2003
IEEE
14 years 1 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
STEP
2005
IEEE
14 years 2 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
CTRSA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A redactable signature scheme for a string of objects supports verification even if multiple substrings are removed from the original string. It is important that the re...
CNSR
2007
IEEE
14 years 2 months ago
2007
IEEE
Position localization of transmitters can be carried out by an adversary owning a network of pervasive receivers, which can pinpoint the victim mobile nodes’ locations with high...
IBPRIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this article, scale and orientation invariant object detection is performed by matching intensity level histograms. Unlike other global measurement methods, the presen...