6274 search results - page 10 / 1255 » Proofs, Programs, Processes |
129
Voted
PROVSEC
2007
Springer
15 years 9 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
133
Voted
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
103
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
122
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
92
Voted
ICALP
1998
Springer
15 years 7 months ago
1998
Springer