5084 search results - page 103 / 1017 » Proving Possibility Properties |
114
click to vote
ICALP
1990
Springer
15 years 9 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
138
click to vote
FCT
1995
Springer
15 years 9 months ago
1995
Springer
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...
139
click to vote
ASIACRYPT
2008
Springer
15 years 7 months ago
2008
Springer
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build syst...
122
click to vote
AAAI
2010
15 years 6 months ago
2010
In distributed work systems, individual users perform work for other users. A significant challenge in these systems is to provide proper incentives for users to contribute as muc...
135
click to vote
WSCG
2004
15 years 6 months ago
2004
Collision detection between moving objects is an open question which raises major problems concerning its algorithmic complexity. In this paper we present a polygon collision dete...