A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property

Autor: Ilaria Matteucci, Francesco Santini, Stefano Bistarelli, Fabio Martinelli

Publikováno v: Formal Aspects of Component Software ISBN: 9783319576657
FACS
BASE-Bielefeld Academic Search Engine
Formal Aspects of Component Software-13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Aspects of Component Software
Formal Aspects of Component Software-The 13th International Conference, Besançon, France, 19/10/2016
info:cnr-pdr/source/autori:F. Martinelli(1), I. Matteucci(1), S. Bistarelli(2), F. Santini(2)/congresso_nome:Formal Aspects of Component Software-The 13th International Conference/congresso_luogo:Besançon, France/congresso_data:19%2F10%2F2016/anno:2016/pagina_da:/pagina_a:/intervallo_pagine

We address the problem of automatically identifying what local properties the agents of a Cyber Physical System have to satisfy to guarantee a global required property \(\phi \). To enrich the picture, we consider properties where, besides qualitativ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa328643a53826bf74f65d676a42a77c
https://doi.org/10.1007/978-3-319-57666-4_9

Contracts for security adaptation

Autor: José Antonio Martín, Ernesto Pimentel

Publikováno v: The Journal of Logic and Algebraic Programming. 80(3-5):154-179

Security is considered to be one of the main challenges as regards the widespread application of Service Oriented Architectures across organisations. WS-Security, and its successive extensions, have emerged to fulfil this need, but these approaches h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3ef63ee2a48eaccc0fdfc149edee01f

Optimizing the energy consumption of large-scale applications

Autor: Moreno Marzolla

Publikováno v: QoSA

The energy consumption of large IT infrastructures is becoming a major concern, since it represents one of the principal operation costs. While modern devices (e.g., processors, disks) have the capability of reducing their power consumption by runnin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efd8a5859cfc8b56a67d5bd50d850166
https://doi.org/10.1145/2304696.2304718

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.