Login / Signup

TBFR: a threshold-based file replication approach for increased file availability and its formal verification.

Manu VardhanDharmender Singh Kushwaha
Published in: Int. J. Inf. Commun. Technol. (2013)
Keyphrases
  • formal verification
  • file system
  • database
  • model checking
  • file structure
  • file formats
  • file organizations
  • reinforcement learning
  • domain specific
  • file organization