Blockchain systems are lauded for their security, and reliability. Security is a cornerstone, as
they employ cryptographic techniques to ensure the immutability of data, making it extremely …

In the intricate domain of software systems verification, dynamically model checking
multifaceted system characteristics remains paramount, yet challenging. This research …

In the era of digital healthcare, biomedical data sharing is of paramount importance for the
advancement of research and personalised healthcare. However, sharing such data while …

The prevalence of stress-related disorders has increased significantly in recent years,
necessitating scalable methods to identify affected individuals. This paper proposes a novel …

This paper presents the design and development of a flexible hyper-distributed IoT–Edge–
Cloud computing platform for real-time Digital Twins in real logistics and industrial …

Cloud computing service-oriented simulation frameworks are very important tools for
modeling and simulating the dynamic behavior of cloud-based software systems. However …

This paper presents a secure IoT framework for remote health monitoring using fog
computing, tailored for the Jordanian healthcare context. The proposed Remote Health …

The Internet of Things (IoT) enables a smart observation of the environment, producing a
large amount of heterogeneous data. On the one hand, it allows the remote collection of …

This paper presents an ontology-based broker system for the interoperability of federated
clouds. The system can provision cloud infrastructure resources from different platforms to …