Login / Signup
Towards Generating Elastic Microservices: A Declarative Specification for Consistent Elasticity Configurations.
Floriment Klinaku
Vincenzo Ferme
Published in:
SEAA (2018)
Keyphrases
</>
high level
elastic properties
attribute grammars
knowledge representation
formal verification
real world
search engine
case study
user defined
finite element
soft tissue
formal specification
consistency constraints
configuration space