7694 search results - page 180 / 1539 » An Implementation of an Applicative File System |
149
click to vote
CLUSTER
1999
IEEE
15 years 4 months ago
1999
IEEE
Efficient data storage, a major concern in the modern computer industry, is mostly provided today by the the traditional magnetic disk. Unfortunately the cost of a disk transfer m...
154
Voted
JFP
2000
15 years 4 months ago
2000
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
149
click to vote
HPDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
152
Voted
JCS
2008
15 years 5 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
151
click to vote
METAINFORMATICS
2004
Springer
15 years 10 months ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...