255 search results - page 24 / 51 » Generalizing Consistency and other Constraint Properties to ... |
90
Voted
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
95
Voted
APPROX
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we consider the task of answering linear queries under the constraint of differential privacy. This is a general and well-studied class of queries that captures oth...
103
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
110
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
ctural abstractions that were introduced in [17]. Compared with other symmetry-breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodate dynami...
100
Voted
Publication
We propose a method to accurately measure the shape
of objects by suppressing the effect of indirect reflection caused by the interreflection
and subsurface scattering. We use a ...