Zobrazeno 1 - 10
of 141
pro vyhledávání: '"Gian Luigi Ferrari"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 58, Iss Proc. FOCLASA 2011, Pp 49-64 (2011)
The effective usages of computational resources are a primary concern of up-to-date distributed applications. In this paper, we present a methodology to reason about resource usages (acquisition, release, revision, ...), and therefore the proposed ap
Externí odkaz:
https://doaj.org/article/e42eebb428104f97925535ece817dcf1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 38, Iss Proc. ICE 2010, Pp 45-49 (2010)
We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level s
Externí odkaz:
https://doaj.org/article/e5979dbb138f40bdbbd0d2446f31448f
Publikováno v:
Future Internet, Vol 15, Iss 7, p 224 (2023)
The security of Cloud applications is a major concern for application developers and operators. Protecting users’ data confidentiality requires methods to avoid leakage from vulnerable software and unreliable Cloud providers. Recently, trusted exec
Externí odkaz:
https://doaj.org/article/32f91379db3a43b8a48d62344b048b82
Publikováno v:
Future Internet; Volume 15; Issue 7; Pages: 224
The security of Cloud applications is a major concern for application developers and operators. Protecting users’ data confidentiality requires methods to avoid leakage from vulnerable software and unreliable Cloud providers. Recently, trusted exec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=multidiscipl::78e3d2d67a913cd0eff945f440ccc444
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)
The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordinatio
Externí odkaz:
https://doaj.org/article/32390f7e356e40b19ddf3e7cb20167cc
Publikováno v:
Logical Methods in Computer Science, Vol Volume 12, Issue 4 (2017)
An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overa
Externí odkaz:
https://doaj.org/article/93270f60c3cb43e28605a2f73c5eed26
Publikováno v:
Computing. 103:1025-1056
Function-as-a-Service (FaaS) allows developers to define, orchestrate and run modular event-based pieces of code on virtualised resources, without the burden of managing the underlying infrastructure nor the life-cycle of such pieces of code. Indeed,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06e32caa3ef628abe72ba7ff2a198d3d
https://doi.org/10.1007/s00607-021-00924-y
https://doi.org/10.1007/s00607-021-00924-y
Publikováno v:
2022 22nd IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::084a2b32070206af6847b7aa4a04e57b
https://doi.org/10.1109/ccgrid54584.2022.00094
https://doi.org/10.1109/ccgrid54584.2022.00094
Publikováno v:
Service-Oriented and Cloud Computing ISBN: 9783031047176
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c786fae8302e4f52400a6eead05c9e7
https://doi.org/10.1007/978-3-031-04718-3_3
https://doi.org/10.1007/978-3-031-04718-3_3
Autor:
Gian Luigi Ferrari, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Felicita Di Giandomenico, Stefania Gnesi, Davide Basile
Publikováno v:
FORTE 2021-41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp. 177–181, Online conference, 14-18/06/2021
info:cnr-pdr/source/autori:Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G.L.; Gnesi S.; Di Giandomenico F./congresso_nome:FORTE 2021-41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems/congresso_luogo:Online conference/congresso_data:14-18%2F06%2F2021/anno:2021/pagina_da:177/pagina_a:181/intervallo_pagine:177–181
Lecture Notes in Computer Science, Vol. 12719 LNCS, p. 177-181 (2021)
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE
info:cnr-pdr/source/autori:Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G.L.; Gnesi S.; Di Giandomenico F./congresso_nome:FORTE 2021-41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems/congresso_luogo:Online conference/congresso_data:14-18%2F06%2F2021/anno:2021/pagina_da:177/pagina_a:181/intervallo_pagine:177–181
Lecture Notes in Computer Science, Vol. 12719 LNCS, p. 177-181 (2021)
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE
Service contracts characterise the desired behavioural compliance of a composition of services, typically defined by the fulfilment of all service requests through service offers. Contract automata are a formalism for specifying behavioural service c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54a28d7cf18cf378b2785d2f326701fa
http://hdl.handle.net/11568/1126125
http://hdl.handle.net/11568/1126125