Login / Signup

Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop.

G. Satya ReddyYuzhang FengYang LiuJin Song DongJun SunRajaraman Kanagasabai
Published in: SERVICES (2013)
Keyphrases
  • cloud computing
  • open source
  • formal methods
  • formal analysis
  • map reduce
  • formal models
  • distributed systems
  • test bed
  • data mining
  • information systems
  • data management
  • big data
  • formal model
  • face verification