Login / Signup

Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments.

Imene Ben HafaiedhMaroua Ben SlimaneSourour HaoualaRiadh Robbana
Published in: AICCSA (2017)
Keyphrases
  • objective function
  • management system
  • distributed systems
  • computer networks
  • information systems
  • load balancing
  • model checking