1833 search results - page 69 / 367 » Mechanized Verification with Sharing |
104
Voted
CHI
1997
ACM
15 years 4 months ago
1997
ACM
TeamRooms is a groupware environment based on the metaphor of shared virtual rooms. The system contains userdefined rooms, each with a shared whiteboard, chat tool and customizabl...
118
click to vote
PET
2009
Springer
15 years 7 months ago
2009
Springer
: © Privacy-Preserving Computation and Verification of Aggregate Queries on Outsourced Databases Brian Thompson, Stuart Haber, William G. Horne, Tomas Sander, Danfeng Yao HP Labor...
88
Voted
EUROPKI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A substantial number of micropayment schemes in the literature are based on distributing the cost of a digital signature over several successive micropayments (e.g. Paywo...
91
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
209
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...