1222 search results - page 31 / 245 » Verifying a File System Implementation |
103
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
123
click to vote
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
105
click to vote
NPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A fault tolerant parallel virtual file system is designed and implemented to provide high I/O performance and high reliability. A queuing model is used to analyze in deta...
138
click to vote
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Grid data management is a challenging task because of the heterogeneous, dynamic and largescale nature of Grid environments. This paper proposes an autonomic Grid data management ...
113
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
The prevalence of P2P technology contributes the ease of file-sharing, but it also brings some problems such as free-riding and copyright infringement. To solve these problems, ma...