Atif Ishaq Khan^*, Syed Asad Raza Kazmi, Awais Qasim

CMC-Computers, Materials & Continua, Vol.74, No.1, pp. 1183-1197, 2023, DOI:10.32604/cmc.2023.032691

Abstract A self-adaptive resource provisioning on demand is a critical factor in cloud computing. The selection of accurate amount of resources at run time is not easy due to dynamic nature of requests. Therefore, a self-adaptive strategy of resources is required to deal with dynamic nature of requests based on run time change in workload. In this paper we proposed a Cloud-based Adaptive Resource Scheduling Strategy (CARSS) Framework that formally addresses these issues and is more expressive than traditional approaches. The decision making in CARSS is based on more than one factors. The MAPE-K based framework determines the state of the… More >

Maryam Jamal¹, Nazir Ahmad Zafar², Atta-ur-Rahman^3,*, Dhiaa Musleh³, Mohammed A. Gollapalli⁴, Sghaier Chabani⁴

CMC-Computers, Materials & Continua, Vol.72, No.2, pp. 3331-3348, 2022, DOI:10.32604/cmc.2022.025205

Abstract The formal modeling and verification of aircraft takeoff is a challenge because it is a complex safety-critical operation. The task of aircraft takeoff is distributed amongst various computer-based controllers, however, with the growing malicious threats a secure communication between aircraft and controllers becomes highly important. This research serves as a starting point for integration of BB84 quantum protocol with petri nets for secure modeling and verification of takeoff procedure. The integrated model combines the BB84 quantum cryptographic protocol with powerful verification tool support offered by petri nets. To model certain important properties of BB84, a new variant of petri nets… More >

Amjad Gawanmeh^1,3,∗, Usman Pervez², Osman Hasan^2,3

Computer Systems Science and Engineering, Vol.33, No.1, pp. 21-29, 2018, DOI:10.32604/csse.2018.33.021

Abstract Electrocardiography (ECG) is a heart signal wave that is recorded using medical sensors, which are normally attached to the human body by the heart. ECG waves have repetitive patterns that can be efficiently used in the diagnosis of heart problems as they carry several characteristics of heart operation. Traditionally, the analysis of ECG waves is done using informal techniques, like simulation, which is in-exhaustive and thus the analysis results may lead to ambiguities and life threatening scenarios in extreme cases. In order to overcome such problems, we propose to analyze ECG heart signals using probabilistic model checking, which is a… More >

Tingting Wu¹, Yunwei Dong^1,*

CMES-Computer Modeling in Engineering & Sciences, Vol.121, No.3, pp. 909-928, 2019, DOI:10.32604/cmes.2019.07809

Abstract The application of metamorphic testing (MT) on automatic program repair (APR-MT) is used to generate a patch without test oracles by examining whether the input metamorphic relation (MR) is satisfied or not. However, the delivered patch is plausible since it may satisfy the input MR but violate other MRs. This inspires us to propose an improved approach to enhance the effectiveness of APR-MT with metamorphic relation group. Our approach involves three major steps. First, we formally define the repair process of APR-MT by building the model of automatic program repair and metamorphic testing separately. Then, we propose the advanced model… More >