Zobrazeno 1 - 10
of 354
pro vyhledávání: '"Rocco De Nicola"'
Publikováno v:
EPJ Data Science, Vol 13, Iss 1, Pp 1-23 (2024)
Abstract For U.S. presidential elections, most states use the so-called winner-take-all system, in which the state’s presidential electors are awarded to the winning political party in the state after a popular vote phase, regardless of the actual
Externí odkaz:
https://doaj.org/article/34efca25ac80495d8817892509be047a
Autor:
Rocco de Nicola, Hernán Melgratti
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)
Variants of the must testing approach have been successfully applied in service oriented computing for analysing the compliance between (contracts exposed by) clients and servers or, more generally, between two peers. It has however been argued that
Externí odkaz:
https://doaj.org/article/31459b1bed2941dda4589d81013824dd
Publikováno v:
EPJ Data Science, Vol 10, Iss 1, Pp 1-23 (2021)
Abstract The COVID-19 pandemic has impacted on every human activity and, because of the urgency of finding the proper responses to such an unprecedented emergency, it generated a diffused societal debate. The online version of this discussion was not
Externí odkaz:
https://doaj.org/article/ca4a4b69753d44af8378b3b984f16397
Autor:
Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola
Publikováno v:
IEEE Access, Vol 9, Pp 94723-94747 (2021)
Cybersecurity education and training are essential prerequisites of achieving a secure and privacy-friendly digital environment. Both professionals and the general public widely acknowledge the need for high-quality university education programs and
Externí odkaz:
https://doaj.org/article/5c1d24fa0fa94d399ac77299fa851009
Publikováno v:
EPJ Data Science, Vol 10, Iss 1, Pp 1-1 (2021)
Externí odkaz:
https://doaj.org/article/df0213ff381e4343922276acf3f903e8
Publikováno v:
Frontiers in Robotics and AI, Vol 5 (2018)
Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety. These risks may not always be evident, since they may arise as unforeseen consequences of inte
Externí odkaz:
https://doaj.org/article/42115b03f24341d19cb54a54b4258616
Autor:
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 194, Iss Proc. QAPL 2015, Pp 16-31 (2015)
In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and progr
Externí odkaz:
https://doaj.org/article/64e47a6e683f427e9f6122fa1664107d
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 188, Iss Proc. WWV 2015, Pp 51-58 (2015)
Major search engines deploy personalized Web results to enhance users' experience, by showing them data supposed to be relevant to their interests. Even if this process may bring benefits to users while browsing, it also raises concerns on the select
Externí odkaz:
https://doaj.org/article/9c7924bf290b4cec98e9f3d5c90a0c80
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 117, Iss Proc. QAPL 2013, Pp 81-96 (2013)
We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equivalence under study, we examine the discriminating power of three variant
Externí odkaz:
https://doaj.org/article/add8930fd1cd4921a802a87141765ec2
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 60, Iss Proc. PACO 2011, Pp 66-75 (2011)
Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability relation. This model has been recently made more general by modifying the
Externí odkaz:
https://doaj.org/article/8a66fcb554c841d58c919e6d21e948ba