1894 search results - page 320 / 379 » A TLA Proof System |
146
click to vote
IPPS
2007
IEEE
16 years 10 days ago
2007
IEEE
Fast hardware turnover in supercomputing centers, stimulated by rapid technological progress, results in high heterogeneity among HPC platforms, and necessitates that applications...
145
click to vote
ISVD
2007
IEEE
16 years 10 days ago
2007
IEEE
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
136
click to vote
LICS
2007
IEEE
16 years 9 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
194
click to vote
BIRTHDAY
2007
Springer
16 years 7 days ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
177
click to vote
CRYPTO
2007
Springer
16 years 6 days ago
2007
Springer
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...