1222 search results - page 193 / 245 » Verifying a File System Implementation |
FAST
2007
15 years 1 months ago
2007
This paper presents the design, implementation, and evaluation of CATS, a network storage service with strong accountability properties. A CATS server annotates read and write res...
101
click to vote
SENSYS
2010
ACM
14 years 9 months ago
2010
ACM
Understanding the dynamics of bodies of water and their impact on the global environment requires sensing information over the full volume of water. We develop a gradientbased dec...
122
click to vote
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
We present a framework to prevent code injection attacks in MS Windows using Native APIs in the operating system. By adopting the idea of diversity, this approach is implemented i...
118
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...