• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

ASM-based Formal Model for Analysing Cloud Auto-Scaling Mechanisms.

Ebenezer Komla GavuaGabor Kecskemeti
Published in: Informatica (Slovenia) (2023)
Keyphrases
  • formal model
  • cloud computing
  • active shape model
  • neural network
  • predicate calculus
  • security patterns
  • case based reasoning
  • security properties
  • information systems
  • e government
  • mechanism design