9316 search results - page 1508 / 1864 » Analysis of traceback techniques |
135
click to vote
SACRYPT
2005
Springer
16 years 5 days ago
2005
Springer
Radio frequency identification systems based on low-cost computing devices is the new plaything that every company would like to adopt. Its goal can be either to improve the produ...
179
click to vote
SCIA
2005
Springer
16 years 5 days ago
2005
Springer
Light fields are known for their potential in generating 3D reconstructions of a scene from novel viewpoints without need for a model of the scene. Reconstruction of novel views, ...
173
click to vote
SELMAS
2005
Springer
16 years 4 days ago
2005
Springer
Software reuse technologies have been a driving force in significantly reducing both the time and cost of software specification, development, maintenance and evolution. However, t...
217
click to vote
STACS
2005
Springer
16 years 4 days ago
2005
Springer
Cycle covering is a well-studied problem in computer science. In this paper, we develop approximation algorithms for variants of cycle covering problems which bound the size and/o...
147
click to vote
TACAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...