C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ASM-based Formal Model for Analysing Cloud Auto-Scaling Mechanisms.
Ebenezer Komla Gavua
Gabor 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