Formal verification approaches and standards in the cloud computing: a comprehensive and systematic review

A Souri, NJ Navimipour, AM Rahmani - Computer Standards & Interfaces, 2018 - Elsevier
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 …

Application of virtual machine consolidation in cloud computing systems

R Zolfaghari, A Sahafi, AM Rahmani… - … Computing: Informatics and …, 2021 - Elsevier
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 …

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 …

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 …

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 …

A symbolic model checking approach in formal verification of distributed systems

A Souri, AM Rahmani, NJ Navimipour… - Human-centric Computing …, 2019 - Springer
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 …

[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 …

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 …

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 …

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 …