5084 search results - page 733 / 1017 » Proving Possibility Properties |
224
Voted
PET
2005
Springer
16 years 28 days ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...
266
click to vote
COMPGEOM
2010
ACM
16 years 16 days ago
2010
ACM
The best known upper bound on the number of topological changes in the Delaunay triangulation of a set of moving points in R2 is (nearly) cubic, even if each point is moving with ...
211
Voted
LICS
2002
IEEE
16 years 11 days ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
191
Voted
SIGECOM
2010
ACM
16 years 8 days ago
2010
ACM
In 1876 Charles Lutwidge Dodgson suggested the intriguing voting rule that today bears his name. Although Dodgson’s rule is one of the most well-studied voting rules, it suffers...
186
Voted
ICALP
2010
Springer
16 years 7 days ago
2010
Springer
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...