Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Giorgio Audrito"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)
Recent works in contexts like the Internet of Things (IoT) and large-scale Cyber-Physical Systems (CPS) propose the idea of programming distributed systems by focussing on their global behaviour across space and time. In this view, a potentially vast
Externí odkaz:
https://doaj.org/article/0f8c8f21dbf040b6ae8a62c72835cf13
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 47-61 (2019)
Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is runtime verification in conn
Externí odkaz:
https://doaj.org/article/010995f2a27440cbaebf78c38e3c38a9
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 4 (2020)
Field-based coordination has been proposed as a model for coordinating collective adaptive systems, promoting a view of distributed computations as functions manipulating data structures spread over space and evolving over time, called computational
Externí odkaz:
https://doaj.org/article/4dafde12f1464d97979404cc24f1c811
Autor:
Giorgio Audrito, Sergio Bergamini
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 264, Iss Proc. ALP4IoT 2017, Pp 23-26 (2018)
Summarising distributed data is a central routine for parallel programming, lying at the core of widely used frameworks such as the map/reduce paradigm. In the IoT context it is even more crucial, being a privileged mean to allow long-range interacti
Externí odkaz:
https://doaj.org/article/1426785a7bd042cf9bf30412cf941cc1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 264, Iss Proc. ALP4IoT 2017, Pp 18-22 (2018)
Collecting statistic from graph-based data is an increasingly studied topic in the data mining community. We argue that these statistics have great value as well in dynamic IoT contexts: they can support complex computational activities involving dis
Externí odkaz:
https://doaj.org/article/d6d6336d57d1486b9daabc445434485a
Autor:
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Swarm intelligence leverages collective behaviours emerging from interaction and activity of several “simple” agents to solve problems in various environments. One problem of interest in large swarms featuring a variety of sub-goals is swarm clus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b406f86274c642698a66b2fa9db5ee71
https://hdl.handle.net/11585/902453
https://hdl.handle.net/11585/902453
Publikováno v:
Journal of Systems and Software. 187:111251
Recent trends in the engineering of software-intensive systems increasingly promote the adoption of computation at the edge of the network, in the proximity of where sensing and actuation are performed. Applications are executed directly in IoT devic
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c81359732d9e325a72ad1b20fbff37de
https://doi.org/10.1007/978-3-031-19759-8_19
https://doi.org/10.1007/978-3-031-19759-8_19