Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964235105> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2964235105 endingPage "285" @default.
- W2964235105 startingPage "264" @default.
- W2964235105 abstract "Cloud-enabled large-scale distributed systems orchestrate resources and services from various providers in order to deliver high-quality software solutions to the end users. The space and structure created by such technological advancements are immense sources of information and impose a high complexity and heterogeneity, which might lead to unexpected failures. In this chapter, we present a model that coordinates the multi-cloud interaction through the specification, validation, and verification of a middle-ware exploiting monitoring and adaptation processes. The monitoring processes handle collecting meaningful data and assessing the state of components, while the adaptation processes restore the system as dictated by the evolution needs and sudden changes in the operating environment conditions. We employ Abstract State Machines to specify the models and we further make use of the ASMETA framework to simulate and validate them. Desired properties of the system are defined and analysed with the aid of the Computation Tree Logic." @default.
- W2964235105 created "2019-07-30" @default.
- W2964235105 creator A5059814129 @default.
- W2964235105 creator A5059965228 @default.
- W2964235105 creator A5089811302 @default.
- W2964235105 date "2018-08-01" @default.
- W2964235105 modified "2023-10-18" @default.
- W2964235105 title "Addressing Client Needs for Cloud Computing using Formal Foundations" @default.
- W2964235105 hasPublicationYear "2018" @default.
- W2964235105 type Work @default.
- W2964235105 sameAs 2964235105 @default.
- W2964235105 citedByCount "0" @default.
- W2964235105 crossrefType "journal-article" @default.
- W2964235105 hasAuthorship W2964235105A5059814129 @default.
- W2964235105 hasAuthorship W2964235105A5059965228 @default.
- W2964235105 hasAuthorship W2964235105A5089811302 @default.
- W2964235105 hasConcept C111919701 @default.
- W2964235105 hasConcept C11413529 @default.
- W2964235105 hasConcept C115903868 @default.
- W2964235105 hasConcept C120314980 @default.
- W2964235105 hasConcept C120665830 @default.
- W2964235105 hasConcept C121332964 @default.
- W2964235105 hasConcept C139807058 @default.
- W2964235105 hasConcept C2777904410 @default.
- W2964235105 hasConcept C41008148 @default.
- W2964235105 hasConcept C48103436 @default.
- W2964235105 hasConcept C79974875 @default.
- W2964235105 hasConceptScore W2964235105C111919701 @default.
- W2964235105 hasConceptScore W2964235105C11413529 @default.
- W2964235105 hasConceptScore W2964235105C115903868 @default.
- W2964235105 hasConceptScore W2964235105C120314980 @default.
- W2964235105 hasConceptScore W2964235105C120665830 @default.
- W2964235105 hasConceptScore W2964235105C121332964 @default.
- W2964235105 hasConceptScore W2964235105C139807058 @default.
- W2964235105 hasConceptScore W2964235105C2777904410 @default.
- W2964235105 hasConceptScore W2964235105C41008148 @default.
- W2964235105 hasConceptScore W2964235105C48103436 @default.
- W2964235105 hasConceptScore W2964235105C79974875 @default.
- W2964235105 hasLocation W29642351051 @default.
- W2964235105 hasOpenAccess W2964235105 @default.
- W2964235105 hasPrimaryLocation W29642351051 @default.
- W2964235105 hasRelatedWork W112403282 @default.
- W2964235105 hasRelatedWork W1492858369 @default.
- W2964235105 hasRelatedWork W1517422317 @default.
- W2964235105 hasRelatedWork W1805484866 @default.
- W2964235105 hasRelatedWork W1969145798 @default.
- W2964235105 hasRelatedWork W1975908691 @default.
- W2964235105 hasRelatedWork W1987775982 @default.
- W2964235105 hasRelatedWork W2023310190 @default.
- W2964235105 hasRelatedWork W2089427307 @default.
- W2964235105 hasRelatedWork W2244339006 @default.
- W2964235105 hasRelatedWork W2408487085 @default.
- W2964235105 hasRelatedWork W2886397980 @default.
- W2964235105 hasRelatedWork W2906732665 @default.
- W2964235105 hasRelatedWork W2908421179 @default.
- W2964235105 hasRelatedWork W2912366974 @default.
- W2964235105 hasRelatedWork W2952762576 @default.
- W2964235105 hasRelatedWork W339493899 @default.
- W2964235105 hasRelatedWork W560411735 @default.
- W2964235105 hasRelatedWork W97771026 @default.
- W2964235105 hasRelatedWork W1533872747 @default.
- W2964235105 isParatext "false" @default.
- W2964235105 isRetracted "false" @default.
- W2964235105 magId "2964235105" @default.
- W2964235105 workType "article" @default.