3820 search results - page 628 / 764 » Bounded Model Debugging |
124
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
122
click to vote
ICB
2007
Springer
15 years 8 months ago
2007
Springer
This paper investigates a new approach to formulate performance indices of biometric system using information theoretic models. The performance indices proposed here (unlike conven...
128
click to vote
PAIRING
2007
Springer
15 years 8 months ago
2007
Springer
This paper puts forward new efficient constructions for public-key broadcast encryption that simultaneously enjoy the following properties: receivers are stateless; encryption is c...
117
click to vote
VLDB
2007
ACM
15 years 8 months ago
2007
ACM
Near-duplicate video clip (NDVC) detection is an important problem with a wide range of applications such as TV broadcast monitoring, video copyright enforcement, content-based vi...
103
click to vote
WADS
2007
Springer
15 years 8 months ago
2007
Springer
The dynamic TCP acknowledgement problem formulated by Dooly et al. has been intensively studied in the area of competitive analysis. However, their framework does not consider the ...