3742 search results - page 396 / 749 » On the Use of Formal Techniques for Validation |
219
click to vote
ACNS
2004
Springer
16 years 5 days ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...
151
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
: The paper proposes a novel calibration approach for the Orthoglide-type mechanisms based on observations of the manipulator leg parallelism during motions between the prespecifie...
235
click to vote
FSE
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we present new results on the second-round SHA-3 candidate ECHO. We describe a method to construct a collision in the compression function of ECHO-256 reduced to fou...
161
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
178
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Most robotic vision algorithms have been proposed by envisaging robots operating in industrial environments, where the world is assumed to be static and rigid. These algorithms ca...