889 search results - page 42 / 178 » General Conclusions |
DRM
2007
Springer
15 years 6 months ago
2007
Springer
provides a very brief overview of some of the main points. References are given to my papers, where those points are explained in more detail, and citations are provided to the ext...
104
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
ETFA
2008
IEEE
15 years 1 months ago
2008
IEEE
A remarkable research activity has been carried out in the past few years to support real-time applications by means of appropriate scheduling solutions. For scarcely known or hig...
TIS
2002
14 years 11 months ago
2002
: Modern information systems not only capture a seemingly endless amount of transactional data, but also tend to retain it for indefinite periods of time. We argue that privacy pol...
100
click to vote
PR
2010
14 years 6 months ago
2010
Many algorithms in image analysis require a priority queue, a data structure that holds pointers to pixels in the image, and which allows efficiently finding the pixel in the queu...