1222 search results - page 130 / 245 » Verifying a File System Implementation |
166
click to vote
HIPC
2009
Springer
15 years 15 days ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
111
Voted
MSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Symmetric shared disks file systems are functional, versatile, and just plain cool. For these file systems to work, they require a global lock space, acessable to all clients. T...
115
Voted
DEXAW
2004
IEEE
15 years 6 months ago
2004
IEEE
Management of large data repositories integrated into the Grid poses new challenges for Grid research. There already exist several successful Data Grid projects addressing process...
154
Voted
HPCNCS
2007
15 years 4 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
162
Voted
IJSEKE
2011
14 years 6 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...