di-unipi-socc / fogbrain Star 3 Code Issues Pull requests continuous reasoning engine for managing next-gen distributed applications software-engineering logic-programming fog-computing cloud-iot application-deployment osmotic-computing continuous-reasoning Updated Apr 26, 2021 Prolog
di-unipi-socc / osmolog Star 0 Code Issues Pull requests A declarative solution for placing and configuring applications in Osmotic Computing settings. fog prolog fog-computing declarative-programming cloud-iot osmotic-computing app-management application-placement Updated Jul 19, 2023 Prolog
di-unipi-socc / SecFog Star 3 Code Issues Pull requests A tool for security assessment of multi-service IoT application deployment in the Fog. iot security probabilistic-programming trust logic-programming fog-computing problog declarative-programming explainable-artificial-intelligence security-assessments cloud-edge explainable-ai fog-applications explainable-security Updated May 14, 2021 Prolog
di-unipi-socc / EdgeUsher Star 11 Code Issues Pull requests A declarative prototype to solve the VNF placement in Cloud-Edge scenarios. iot sdn probabilistic-programming fog-computing service-chain edge-computing declarative-programming vnf-placement Updated Mar 29, 2021 Prolog