3951 search results - page 37 / 791 » Automatic amortized analysis |
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
PRDC
2007
IEEE
15 years 5 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
AIED
2007
Springer
15 years 5 months ago
2007
Springer
STACS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...