5084 search results - page 935 / 1017 » Proving Possibility Properties |
136
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
140
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an analysis of the correlation of annotated information unit (textual) tags and geographical identification metadata geotags. Despite the increased usage of ge...
133
Voted
COMPGEOM
2005
ACM
15 years 5 months ago
2005
ACM
Let S be a set of n points moving on the real line. The kinetic sorting problem is to maintain a data structure on the set S that makes it possible to quickly generate a sorted li...
113
click to vote
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
The QA campaign at CLEF [1], was manly the same as that proposed last year. The results and the analyses reported by last year's participants suggested that the changes introd...
158
click to vote
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a new notion called -isolated proofs of knowledge ( -IPoK). These are proofs of knowledge where a cheating prover is allowed to exchange up to bits of communication wi...