Zobrazeno 1 - 10
of 141
pro vyhledávání: '"Giorgio Delzanno"'
Publikováno v:
Informatics in Education, Vol 23, Iss 3, Pp 679-718 (2024)
Concurrency is a complex to learn topic that is becoming more and more relevant, such that many undergraduate Computer Science curricula are introducing it in introductory programming courses. This paper investigates the combined use of Sonic Pi and
Externí odkaz:
https://doaj.org/article/18a39bd717404c99ae7fdc1b92fdc8ba
Autor:
Manuela Chessa, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini, Viviana Mascardi, Nicoletta Noceti, Francesca Odone, Francesca Vitali
Publikováno v:
Frontiers in Education, Vol 7 (2022)
In this paper, we address the problem of designing new formats of computer science orientation activities to be offered during high school students internships in Computer Science Bachelor degrees. In order to cover a wide range of computer science t
Externí odkaz:
https://doaj.org/article/1103b36519cf450babbdbfbe406bfe77
Autor:
Giorgio Delzanno, Luca Caputo, Daniele D’Agostino, Daniele Grosso, Abdul Hannan Mustajab, Luca Bixio, Matteo Rulli
Publikováno v:
Sensors, Vol 23, Iss 11, p 5210 (2023)
We present a device- and network-based solution for automatic passnger counting that operates on the edge in real time. The proposed solution consists of a low-cost WiFi scanner device equipped with custom algorithms for dealing with MAC address rand
Externí odkaz:
https://doaj.org/article/7e7130763e9f44f8911165e4d709dee2
Publikováno v:
Sensors, Vol 22, Iss 15, p 5790 (2022)
We present a solution for improving the robustness of GNSS positioning with Android devices. The proposed method combines an acquisition phase performed in a dedicated Android app (thus working on the edge) and a processing phase, based on a modified
Externí odkaz:
https://doaj.org/article/853befc8e76141bd933ba372347ea5fe
Autor:
Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 264, Iss Proc. ALP4IoT 2017, Pp 27-42 (2018)
In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model. However, verifying the correctness of programs with
Externí odkaz:
https://doaj.org/article/9aee3ef770174c4a9eeea892598e2d7b
Publikováno v:
Information, Vol 11, Iss 12, p 565 (2020)
The Internet of Things (IoT) has created new and challenging opportunities for data analytics. The IoT represents an infinitive source of massive and heterogeneous data, whose real-time processing is an increasingly important issue. IoT applications
Externí odkaz:
https://doaj.org/article/45ab360398594f1098c5900be65dfde0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 193, Iss Proc. GandALF 2015, Pp 115-128 (2015)
We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of configurations. In our model events generated by transitions become part of
Externí odkaz:
https://doaj.org/article/c6b45025017c473db273a04369a044db
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 161, Iss Proc. GandALF 2014, Pp 131-146 (2014)
We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed to implement transitions that depend on majority voting. Our formalizat
Externí odkaz:
https://doaj.org/article/9f3dd29bc25142419bcf7688d4ae4d6a
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 159, Iss Proc. GRAPHITE 2014, Pp 44-57 (2014)
The Paxos distributed consensus algorithm is a challenging case-study for standard, vector-based model checking techniques. Due to asynchronous communication, exhaustive analysis may generate very large state spaces already for small model instances.
Externí odkaz:
https://doaj.org/article/c1b7e14ec0734eadb66de8fee09cd3d2
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 96, Iss Proc. GandALF 2012, Pp 85-98 (2012)
The structure of an XML document can be optionally specified by means of XML Schema, thus enabling the exploitation of structural information for efficient document handling. Upon schema evolution, or when exchanging documents among different collect
Externí odkaz:
https://doaj.org/article/4db16f1082fe4ef3a5d409d597daca77