9316 search results - page 250 / 1864 » Analysis of traceback techniques |
143
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
161
Voted
ESANN
2007
15 years 7 months ago
2007
Since perceptual and motor processes in the brain are the result of interactions between neurons, layers and areas, a lot of attention has been directed towards the development of...
166
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
219
click to vote
MEDIAFORENSICS
2010
15 years 4 months ago
2010
One of the critical steps in designing a secure biometric system is protecting the templates of the users that are stored either in a central database or on smart cards. If a biom...
128
Voted
CAV
2009
Springer
16 years 6 months ago
2009
Springer
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...