13383 search results - page 211 / 2677 » Abstractions from proofs |
153
click to vote
ASIACRYPT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between...
139
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
156
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
163
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
173
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A contract signing protocol lets two parties exchange digital signatures on a pre-agreed text. Optimistic contract signing protocols enable the signers to do so without i...