VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time and Generating Deployment Configurations

H Awad, A Alidra, H Bruneliere, T Ledoux… - ACM SIGAPP Applied …, 2024 - dl.acm.org
Fog Computing is a paradigm decentralizing the Cloud by geographically distributing
computation, storage, network resources and related services. It provides benefits such as …

Exploring extensibility of DevSecOps Modelling Language (DOML)

S Canzoneri - 2023 - politesi.polimi.it
In the continuously evolving field of software development, the adoption of DevOps
methodologies has significantly shaped practices and tools, particularly through the …