1818 search results - page 334 / 364 » Granularity-Adaptive Proof Presentation |
127
click to vote
FC
2005
Springer
15 years 9 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
135
click to vote
HUC
2005
Springer
15 years 9 months ago
2005
Springer
With the ubiquity of camera phones, it is now possible to capture digital still and moving images anywhere, raising a legitimate concern for many organizations and individuals. Alt...
115
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
162
click to vote
SPC
2005
Springer
15 years 8 months ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
110
Voted
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...