A Strategy-Based Formal Approach for Fog Systems Analysis
Fog systems are a new emergent technology having a wide range of architectures and pronounced needs making their design complex. Consequently, the design of fog systems is crucial, including service portability and interoperability between the various elements of a system being the most essential as...
Main Authors: | Souad Marir, Faiza Belala, Nabil Hameurlain |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2022-02-01
|
Series: | Future Internet |
Subjects: | |
Online Access: | https://www.mdpi.com/1999-5903/14/2/52 |
Similar Items
-
Approach for the development of mobile applications based on migrant objects
by: Aissa ElMahdi Bourahla, et al.
Published: (2022-02-01) -
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
by: Duong Dinh Tran, et al.
Published: (2023-09-01) -
Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing
by: Bogdan Aman, et al.
Published: (2024-04-01) -
Fog probabilistic forecasting using an ensemble prediction system at six airports in Iran for 10 fog events
by: R. Pahlavan, et al.
Published: (2021-11-01) -
Formal Modeling and Verification of Smart Contracts with Spin
by: Zhe Yang, et al.
Published: (2022-09-01)