Treffer 1 - 20 von 222 für Suche 'Ferrari, Gian Luigi', Suchdauer: 0,84s Treffer weiter einschränken
  1. 1
    Secure FaaS orchestration in the fog: how far are we?

    Secure FaaS orchestration in the fog: how far are we? von Bocci, Alessandro, Forti, Stefano, Ferrari, Gian-Luigi, Brogi, Antonio

    Veröffentlicht in Computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Two-Component Language for Adaptation: Design, Semantics and Program Analysis

    A Two-Component Language for Adaptation: Design, Semantics and Program Analysis von Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Automata for Specifying and Orchestrating Service Contracts

    Automata for Specifying and Orchestrating Service Contracts von Basile, Davide, Degano, Pierpaolo, Ferrari, Gian-Luigi


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Secure Cloud-Edge Deployments, with Trust

    Secure Cloud-Edge Deployments, with Trust von Forti, Stefano, Ferrari, Gian-Luigi, Brogi, Antonio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Secure Partitioning of Cloud Applications, with Cost Look-Ahead

    Secure Partitioning of Cloud Applications, with Cost Look-Ahead von Bocci, Alessandro, Forti, Stefano, Guanciale, Roberto, Ferrari, Gian-Luigi, Brogi, Antonio

    Veröffentlicht in Future internet

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Tracing where IoT data are collected and aggregated

    Tracing where IoT data are collected and aggregated von Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A formal framework for secure and complying services

    A formal framework for secure and complying services von Basile, Davide, Degano, Pierpaolo, Ferrari, Gian -Luigi

    Veröffentlicht in The Journal of supercomputing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A Step Towards Checking Security in IoT

    A Step Towards Checking Security in IoT von Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Event-driven Adaptation in COP

    Event-driven Adaptation in COP von Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Modelling and analysing IoT systems

    Modelling and analysing IoT systems von Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A Context-Oriented Extension of F

    A Context-Oriented Extension of F von Canciani, Andrea, Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum

    Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum von Bocci, Alessandro, Forti, Stefano, Ferrari, Gian-Luigi, Brogi, Antonio

    Veröffentlicht in Electronics (Basel)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    From Orchestration to Choreography through Contract Automata

    From Orchestration to Choreography through Contract Automata von Basile, Davide, Degano, Pierpaolo, Ferrari, Gian-Luigi, Tuosto, Emilio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Controller synthesis of service contracts with variability

    Controller synthesis of service contracts with variability von Basile, Davide, ter Beek, Maurice H., Degano, Pierpaolo, Legay, Axel, Ferrari, Gian-Luigi, Gnesi, Stefania, Di Giandomenico, Felicita

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Security Metrics at Work on the Things in IoT Systems

    Security Metrics at Work on the Things in IoT Systems von Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday von Bodei, Chiara, Ferrari, Gianluigi, Priami, Corrado


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Programming in a context-aware language

    Programming in a context-aware language von Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio

    Veröffentlicht in The Journal of supercomputing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Secure Partitioning of Composite Cloud Applications

    Secure Partitioning of Composite Cloud Applications von Bocci, Alessandro, Guanciale, Roberto, Forti, Stefano, Ferrari, Gian-Luigi, Brogi, Antonio


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Revealing the Trajectories of KLAIM Tuples, Statically

    Revealing the Trajectories of KLAIM Tuples, Statically von Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Regular and context-free nominal traces

    Regular and context-free nominal traces von Degano, Pierpaolo, Ferrari, Gian-Luigi, Mezzetti, Gianluca

    Veröffentlicht in Acta informatica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: