Formalizing a hierarchical file system.

Wim H. Hesselink Muhammad Ikram Lali

Published in: Formal Aspects Comput. (2012)

Keyphrases

file system
access patterns
continuous media
data transfer
flash memory
storage devices
multi tiered
search tools
naming conventions
storage systems
scalable distributed
database
information systems
information management
application specific
concept hierarchy