Formal verification approaches and standards in the cloud computing: a comprehensive and systematic review
Cloud computing as a new internet-based computing model provides different resources as
a service dynamically. Today, cloud computing is actually one of the main improvements in …
a service dynamically. Today, cloud computing is actually one of the main improvements in …
Application of virtual machine consolidation in cloud computing systems
Cloud systems play a vital and significant role in our daily lives due to various internet
services. For instance, email services, social networks, and others. Consequently, their …
services. For instance, email services, social networks, and others. Consequently, their …
Virtual machine consolidation in cloud computing systems: Challenges and future trends
R Zolfaghari, AM Rahmani - Wireless Personal Communications, 2020 - Springer
Abstract Cloud Computing Systems (CCSs) provides a computing capability through the
Internet. It enables organizations or individuals to have a computing power without …
Internet. It enables organizations or individuals to have a computing power without …
Formal verification approaches in the web service composition: a comprehensive analysis of the current challenges for future research
A Souri, AM Rahmani… - International journal of …, 2018 - Wiley Online Library
Today, service composition is emerging paradigm on the communication networks such as
cloud environments, internet of things, wireless sensor network, and software‐defined …
cloud environments, internet of things, wireless sensor network, and software‐defined …
Energy analysis of Internet of things data mining algorithm for smart green communication networks
Z Du - Computer Communications, 2020 - Elsevier
With the continuous development of Internet technology and electronic information
technology, big data technology and cloud computing technology also rise and develop, and …
technology, big data technology and cloud computing technology also rise and develop, and …
A symbolic model checking approach in formal verification of distributed systems
Abstract Model checking is an influential method to verify complex interactions, concurrent
and distributed systems. Model checking constructs a behavioral model of the system using …
and distributed systems. Model checking constructs a behavioral model of the system using …
[PDF][PDF] Novel Dynamic Scaling Algorithm for Energy Efficient Cloud Computing.
MV Kumar, K Venkatachalam, M Masud… - … Automation & Soft …, 2022 - cdn.techscience.cn
Huge data processing applications are stored efficiently using cloud computing platform.
Few technologies like edge computing, Internet of Things (IoT) model helps cloud computing …
Few technologies like edge computing, Internet of Things (IoT) model helps cloud computing …
Analysis method of motion information driven by medical big data
J Zhang, T Zhao, P Zhu - IEEE Access, 2019 - ieeexplore.ieee.org
Nowadays, with the maturity and development of Internet, cloud computing and Internet of
things technology, and the wide popularization of medical/health information technology …
things technology, and the wide popularization of medical/health information technology …
Energy analysis and application of data mining algorithms for internet of things based on hadoop cloud platform
Y Zheng, G Chen - IEEE Access, 2019 - ieeexplore.ieee.org
The paper analyses and studies the classification and characteristics of Internet of Things
(IoT) information, and discusses the construction and application of Hadoop Cloud Platform …
(IoT) information, and discusses the construction and application of Hadoop Cloud Platform …
A formal approach for Docker container deployment
M Pratap Yadav, N Pal… - … : Practice and Experience, 2021 - Wiley Online Library
Container‐based virtualization is becoming increasingly popular in the cloud industry, as it
provides services to the client as per their requirements. Requirements of the user can be …
provides services to the client as per their requirements. Requirements of the user can be …