Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980491138> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2980491138 abstract "Elasticity allows Cloud systems to adapt to the demand by (de)provisioning resources as the input workload rises and drops. Given the numerous overlapping factors that impact their elastic behavior, the specification and verification of Cloud elasticity is a particularly challenging task. In this paper, we propose a Maude-based approach to formalize Cloud systems’ elastic behaviors, as a first step towards the verification of their correctness through a LTL (Linear Temporal Logic) state-based model-checking technique." @default.
- W2980491138 created "2019-10-25" @default.
- W2980491138 creator A5006931124 @default.
- W2980491138 creator A5011946259 @default.
- W2980491138 creator A5015524367 @default.
- W2980491138 date "2019-01-01" @default.
- W2980491138 modified "2023-09-23" @default.
- W2980491138 title "Formal Modeling and Verification of Cloud Elasticity with Maude and LTL" @default.
- W2980491138 cites W1916830863 @default.
- W2980491138 cites W1999392360 @default.
- W2980491138 cites W2042020541 @default.
- W2980491138 cites W2092233180 @default.
- W2980491138 cites W2134287022 @default.
- W2980491138 cites W2727884411 @default.
- W2980491138 cites W2891167087 @default.
- W2980491138 cites W2895237135 @default.
- W2980491138 cites W4234315090 @default.
- W2980491138 doi "https://doi.org/10.1007/978-3-030-32213-7_5" @default.
- W2980491138 hasPublicationYear "2019" @default.
- W2980491138 type Work @default.
- W2980491138 sameAs 2980491138 @default.
- W2980491138 citedByCount "0" @default.
- W2980491138 crossrefType "book-chapter" @default.
- W2980491138 hasAuthorship W2980491138A5006931124 @default.
- W2980491138 hasAuthorship W2980491138A5011946259 @default.
- W2980491138 hasAuthorship W2980491138A5015524367 @default.
- W2980491138 hasConcept C110251889 @default.
- W2980491138 hasConcept C111919701 @default.
- W2980491138 hasConcept C121332964 @default.
- W2980491138 hasConcept C121854251 @default.
- W2980491138 hasConcept C199360897 @default.
- W2980491138 hasConcept C41008148 @default.
- W2980491138 hasConcept C79974875 @default.
- W2980491138 hasConcept C97355855 @default.
- W2980491138 hasConceptScore W2980491138C110251889 @default.
- W2980491138 hasConceptScore W2980491138C111919701 @default.
- W2980491138 hasConceptScore W2980491138C121332964 @default.
- W2980491138 hasConceptScore W2980491138C121854251 @default.
- W2980491138 hasConceptScore W2980491138C199360897 @default.
- W2980491138 hasConceptScore W2980491138C41008148 @default.
- W2980491138 hasConceptScore W2980491138C79974875 @default.
- W2980491138 hasConceptScore W2980491138C97355855 @default.
- W2980491138 hasLocation W29804911381 @default.
- W2980491138 hasLocation W29804911382 @default.
- W2980491138 hasOpenAccess W2980491138 @default.
- W2980491138 hasPrimaryLocation W29804911381 @default.
- W2980491138 hasRelatedWork W2092158625 @default.
- W2980491138 hasRelatedWork W2096111026 @default.
- W2980491138 hasRelatedWork W2148293459 @default.
- W2980491138 hasRelatedWork W2275310816 @default.
- W2980491138 hasRelatedWork W2347039574 @default.
- W2980491138 hasRelatedWork W2383532021 @default.
- W2980491138 hasRelatedWork W2529287984 @default.
- W2980491138 hasRelatedWork W2547754428 @default.
- W2980491138 hasRelatedWork W2890171496 @default.
- W2980491138 hasRelatedWork W3009848514 @default.
- W2980491138 isParatext "false" @default.
- W2980491138 isRetracted "false" @default.
- W2980491138 magId "2980491138" @default.
- W2980491138 workType "book-chapter" @default.