3742 search results - page 232 / 749 » On the Use of Formal Techniques for Validation |
189
click to vote
IGARSS
2010
15 years 3 months ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...
195
click to vote
MTV
2006
IEEE
16 years 17 days ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
262
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
This paper presents a study aimed to the realization of a novel
multiresolution registration framework. The transformation
function is computed iteratively as a composition of lo...
147
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
171
click to vote
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...