3224 search results - page 547 / 645 » Abstract Error Projection |
170
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
195
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Wireless sensor networks are increasingly being used in environmental monitoring applications. Collecting raw data from these networks can lead to excessive energy consum...
172
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
196
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We consider approximate nearest neighbor searching in metric spaces of constant doubling dimension. More formally, we are given a set S of n points and an error bound &g...
182
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Consider an abstract storage device (G) that can hold a single element x from a fixed, publicly known finite group G. Storage is private in the sense that an adversary does not hav...