526 search results - page 66 / 106 » Towards the Verifying Compiler |
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an algorithm for multiscale image segmentation. Towards this, it proposes a new region model, that of a homogenous region surrounded by ramp discontinuities (a...
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a pioneering effort towards machine authentication of security documents like bank cheques, legal deeds, certificates, etc. that fall under the same class as f...
IEEESCC
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
103
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
115
click to vote
WISA
2009
Springer
15 years 2 months ago
2009
Springer
We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identi cation Devices (RFID) and develop techniques for facilitating a correlatio...