About
6
Publications
5,432
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
137
Citations
Citations since 2017
Publications
Publications (6)
![Fig. 7 Edge network infrastructure [color online]](publication/337039232/figure/fig5/AS:822052458090497@1573003987800/Edge-network-infrastructure-color-online_Q320.jpg)
Latency-sensitive and data-intensive applications, such as IoT or mobile services, are leveraged by Edge computing, which extends the cloud ecosystem with distributed computational resources in proximity to data providers and consumers. This brings significant benefits in terms of lower latency and higher bandwidth. However, by definition, edge com...
In this paper, we introduce SLAC, a SLA definition language specifically devised for clouds as a formalism to support the whole SLA lifecycle. The main novelty of the language is the possibility of capturing within the SLA the dynamic aspects of the environment by defining the conditions and actions to change service levels at runtime. SLAC permits...
A smart contract is the formalisation of an agreement, whose terms are automatically enforced by relying on a transaction protocol, while minimising the need of intermediaries. Such contracts not only specify the service and its quality but also the possible changes at runtime of the terms of agreement.
Although smart contracts provide a great deal...
Semantic Based Regularization (SBR) is a general framework to integrate semi-supervised learning with the application specific background knowledge, which is assumed to be expressed as a collection of first-order logic (FOL) clauses. While SBR has been proved to be a useful tool in many applications, the underlying learning task often requires to s...
Projects
Project (1)
A smart contract is the formalisation of an agreement, whose terms, such as payment, confidentiality and quality, are automatically enforced by relying on a previously agreed transaction protocol. Such contracts may specify not only the required service and its quality, but also the possible changes at runtime of the terms of agreement through the definition of conditions and actions and minimise the need of trusted intermediaries. This project aims at supporting Smart Contracts in the cloud domain, and at automating the whole service life cycle by relying on such contracts.
Goal 1: Create a domain specific language for the specification of Smart Contracts for Clouds.
http://www.researchgate.net/publication/304675238_Dynamic_SLAs_for_Clouds
Goal 2: Design a solution for matching offers and requests, and for the autonomous negotiation of Smart Contract in Clouds.
http://www.researchgate.net/publication/318130013_Smart_Contract_Negotiation_in_Cloud_Computing
Goal 3: Development of protocols and new algorithms to support distributed management of Smart Contracts.
Goal 4: Design and build a platform for the execution of Smart Contracts for the provision of cloud services.
