Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Matteo Virgilio"'
Autor:
Denis Makartetskiy, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Matteo Virgilio, Denise Leri, Paolo Denti, Roberto Finizio
Publikováno v:
Engineering Science and Technology, an International Journal, Vol 23, Iss 3, Pp 494-506 (2020)
In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known
Externí odkaz:
https://doaj.org/article/41b66e15a6e14d258fb548d27f8f4bde
Autor:
Guido Marchetto, Denise Leri, Matteo Virgilio, Paolo Denti, Riccardo Sisto, Roberto Finizio, Fulvio Valenza, Denis Makartetskiy
Publikováno v:
Engineering Science and Technology, an International Journal, Vol 23, Iss 3, Pp 494-506 (2020)
In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b41b5e7a0e5bc8e5f288dcfa986e9a7
http://www.sciencedirect.com/science/article/pii/S2215098619306147
http://www.sciencedirect.com/science/article/pii/S2215098619306147
Network Function Virtualization (NFV) architectures are emerging to increase networks flexibility. However, this renewed scenario poses new challenges, because virtualized networks, need to be carefully verified before being actually deployed in prod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a816769f16b3af0e825d79b052b6e3e8
http://hdl.handle.net/11583/2749813
http://hdl.handle.net/11583/2749813
Autor:
Ivano Cerrato, Roberto Bonafiglia, Riccardo Sisto, Guido Marchetto, Fulvio Risso, Matteo Virgilio
Thanks to the increasing success of virtualization technologies and processing capabilities of computing devices, the deployment of virtual network functions is evolving towards a unified approach aiming at concentrating a huge amount of such functio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f841033bee50cb9e0c1680225e95de4
http://hdl.handle.net/11583/2695146
http://hdl.handle.net/11583/2695146
Publikováno v:
COMPSAC (1)
Network Function Virtualization (NFV) architectures are emerging to increase networks flexibility. However, this renewed scenario poses new challenges, because virtualized networks, need to be carefully verified before being actually deployed in prod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::542c2ae27d88d553cf6ebf49893d512f
http://hdl.handle.net/11583/2681523
http://hdl.handle.net/11583/2681523
Autor:
Serena Spinoso, Matteo Virgilio, Antonio Manzalini, Wolfgang John, Guido Marchetto, Riccardo Sisto
Publikováno v:
Lecture Notes in Computer Science
4th European Conference on Service-Oriented and Cloud Computing (ESOCC)
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.253-262, ⟨10.1007/978-3-319-24072-5_18⟩
Service Oriented and Cloud Computing ISBN: 9783319240718
ESOCC
4th European Conference on Service-Oriented and Cloud Computing (ESOCC)
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.253-262, ⟨10.1007/978-3-319-24072-5_18⟩
Service Oriented and Cloud Computing ISBN: 9783319240718
ESOCC
Part 3: Work-in-Progress Track; International audience; The role of software and its flexibility is becoming more and more important in todays networks. New emerging paradigms, such as Software Defined Networking (SDN) and Network Function Virtualiza
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12a7789d357fd3f746bfdd8d8599a1c4
https://hal.inria.fr/hal-01757560/file/370579_1_En_18_Chapter.pdf
https://hal.inria.fr/hal-01757560/file/370579_1_En_18_Chapter.pdf
Content Centric Networking (CCN) has introduced new concepts and ideas in the next generation routing protocols research area, proposing an alternative approach to the well known and consolidated TCP/IP protocol suite. CCN envisions a network of smar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::770c9a6778f6f76d5fa933fb3b644e50
http://hdl.handle.net/11583/2588564
http://hdl.handle.net/11583/2588564
Publikováno v:
HPSR
In-network function chaining often involves the deployment of multiple applications into a single, possibly multi-tenant, middlebox. This approach has gained much interest since new network paradigms, such as Software Defined Networking (SDN) and Net
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae1bdd6311703efc5812d704cc64c217
http://hdl.handle.net/11583/2560939
http://hdl.handle.net/11583/2560939
Publikováno v:
ICN
Content Centric Networking represents a paradigm shift in the evolution and definition of modern network protocols. Many research efforts have been made with the purpose of proving the feasibility and the scalability of this proposal. Our main contri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f3af46ca911a8513eb556655b2fd3c9
https://doi.org/10.1145/2491224.2491225
https://doi.org/10.1145/2491224.2491225
Publikováno v:
International Journal of Communication Systems. 30:e2964
Summary Content-Centric Networking (CCN) represents an established candidate for the future Internet, proposing a routing architecture designed to elevate content to first class entity. Starting from the fact that the network usage has dramatically e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::51c7dbbf1fc74a2c67b8822e23e116e1
https://doi.org/10.1002/dac.2964
https://doi.org/10.1002/dac.2964