TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

A Núñez, PC Cañizares, M Núñez… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
… 1) We provide a language to fully model cloud systems. This allows users not only to
represent cloud architectures but also to formally analyze them. 2) We have extended and …

A survey on cloud computing simulation and modeling

I Bambrik - SN Computer Science, 2020 - Springer
… [16] published a survey that encompasses most of the existing cloud simulation frameworks.
… of the paper is energy consumption modeling only rather than general cloud simulation. The …

TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

A Núñez Covarrubias, P Cerro Cañizares… - 2021 - docta.ucm.es
… a framework, called TEA-Cloud, that integrates simulation … , the framework E-mc2 [43] can
be used for analysing energy … provides models for the major part of the underlying cloud

Energy-driven cloud simulation: existing surveys, simulation supports, impacts and challenges

A Ismail - Cluster Computing, 2020 - Springer
cloud computing researches. In this work, the review focuses on the cloud simulation surveys
with energy-… E-\(mc^2\) [14] is a formal framework for analysing energy consumption that …

A novel energy-aware resource management technique using joint VM and container consolidation approach for green computing in cloud data centers

N Gholipour, E Arianyan, R Buyya - Simulation Modelling Practice and …, 2020 - Elsevier
Cloud computing is an Internet-based service delivery model for … " cloud computing services,
one of which is a Container as a Service (CaaS) [3]. Users can easily access these services

ECMS: An edge intelligent energy efficient model in mobile edge computing

Z Zhou, M Shojafar, J Abawajy, H Yin… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
… , “E-mc2: A formal framework for energy modelling in cloud computing,” Simulation Modelling
… and LF, “Analysis of energy consumption model in cloud computing environments,” in …

A Model for the Total Carbon Footprint of a Cloud-based Software as a Service Provider and its Customers

R Westerhof - 2022 - fse.studenttheses.ub.rug.nl
… sustainable cloud computing, an in-depth taxonomy of cloud computing, … E-mc2 was
developed by Castane et al. [12]. This extension consists of a framework which improves the energy

An intelligence energy consumption model based on BP neural network in mobile edge computing

Z Zhou, Y Li, F Li, H Cheng - Journal of Parallel and Distributed Computing, 2022 - Elsevier
… the “cloud computing” mode into “edge computing” mode to … The edge computing model
urgently needs a change at the … framework to establish an energy consumption model. The …

Improving Data Centre Power Efficiency by Applying the VM Consolidation Approach

R Karthikeyan, U Srinivasarao, S Hariharan… - … on Advances in …, 2023 - Springer
… An architectural framework for cloud computing that is energy efficient. Energy-conscious
virtual machine … CloudSim: a novel framework for modeling and simulation of cloud computing

Resource management in cloud and cloud-influenced technologies for internet of things applications

R Jeyaraj, A Balasubramaniam, AK MA… - ACM Computing …, 2023 - dl.acm.org
… In summary [17], fog computing extends cloud services to regions near the IoT … In [51],
the authors built a statistical model based on a mixed reality framework called MR-Leo to …