1222 search results - page 46 / 245 » Verifying a File System Implementation |
90
Voted
GI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
125
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
119
click to vote
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
130
click to vote
ACSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
198
click to vote
ICOODB
2010
15 years 8 days ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...