Search results for " protocol"
showing 10 items of 1320 documents
Verification of Symbolic Distributed Protocols for Networked Embedded Devices
2020
The availability of versatile and interconnected embedded devices makes it possible to build low-cost networks with a large number of nodes running even complex applications and protocols in a distributed manner. Common tools used for modeling and verification, such as simulators, present some limitations as application correctness is checked off-board and only focuses on source code. Execution in the real network is thus excluded from the early stages of design and verification. In this paper, a system for modeling and verification of symbolic distributed protocols running on embedded devices is introduced. The underlying methodology is rooted in a symbolic programming paradigm that makes …
Fingerprint and Iris based Authentication in Intercooperative Emerging e-Infrastructures
2013
E-infrastructures must support the development of heterogeneous applications for workstation network, for mobile and portable systems and devices. In this context and relating to all collaborative and pervasive computational technology a very important role is played by security and authentication systems, which represent the first step of the whole process. Biometric authentication systems represent a valid alternative to conventional authentication systems providing robust procedures for user authentication. On the other hand, Internet of Things involves a heterogeneous set of interacting devices to enable innovative global and local applications and services for users. In this chapter fi…
VPP: A Communication Schema for Population Protocols in VANET
2021
Population protocols are a new paradigm that aims to model distributed systems composed of randomly interacting mobile agents. The main advantage of this model is that, when certain theoretical assumptions hold, it is possible to formally demonstrate their convergence. We consider the problem of adopting Population Protocols in a real-world scenario that does not guarantee these assumptions. In particular, we consider the application domain of Vehicular Ad-Hoc Networks (VANETs) which are characterized by dynamic network topologies, and where wireless communications can be affected by interferences and errors. In this work, we analyze the main features of VANET agents and the communications …
Modeling Efficient and Effective Communications in VANET through Population Protocols
2021
Vehicular Ad-hoc NETworks (VANETs) enable a countless set of next-generation applications thanks to the technological progress of the last decades. These applications rely on the assumption that a simple network of vehicles can be extended with more complex and powerful network infrastructure, in which several Road Side Units (RSUs) are employed to achieve application-specific goals. However, this assumption is not always satisfied as in many real-world scenarios it is unfeasible to have a conspicuous deployment of RSUs, due to both economic and environmental constraints. With the aim to overcome this limitation, in this paper we investigate how the only Vehicle-to-Vehicle (V2V) communicati…
IL CONSENSO INFORMATO NEI PROTOCOLLI CARDIOLOGICI PER IL GIUDIZIO DI IDONEITÀ ALLA ATTIVITÀ SPORTIVA
2008
Il consenso informato nelle attività sportive trova esplicita previsione agli articoli 71 e 72 del Codice di Deontologia Medica. L’articolo 71 prescrive una adeguata informazione al soggetto sugli eventuali rischi che la specifica attività sportiva può comportare. In base a questa indicazione il problema del consenso informato può presentarsi in "senso proprio" quando si eseguono accertamenti, non invasivi o invasivi, per la valutazione dell’idoneità alle attività sportive che possono comportare dei rischi di cui l’interessato deve essere informato e in "in senso ampio" quando l’esperto, scoperta una patologia, ritiene che questa sia compatibile con l’esercizio fisico, anche se in forme e c…
L’UE in lotta contro il traffico di migranti: dal facilitators package al nuovo patto sulla migrazione e l’asilo
2021
L'articolo esamina criticamente le strategie di contrasto allo smuggling of migrants messe in atto dall'Ue, dal Facilitators package (2002) sino al Nuovo patto sulla migrazione e l’asilo, adottato dalla Commissione europea il 23 settembre 2020
The Slave Coasts. Transnational Sexual Exploitation from Nigeria to Italy. From human trafficking to human rights
2019
This research intends to open a global debate on the current strong link between migration and prostitution on the basis of the reality observed in Palermo in the timespan 2015-2017. The main three elements emerging from the analysis are criminality, poverty and exploitation. As data suggests, Italy is the favorite destination of the Nigerian sexual exploitation market. In particular, Sicily plays a major role in the sexual exploitation ring involving Nigerian migrants, besides headquartering the Italian as well the Nigerian mafia. The agreement between Cosa Nostra (Sicilian Mafia) and the two organizations known as Black Axe and Eye (Nigerian mafia) represents the starting point for sexual…
Interrogare i luoghi. Obiettivi e protocollo per il Dizionario-atlante dei toponimi orali in Sicilia (DATOS)
2022
La collana Piccola Biblioteca dell’Atlante Linguistico della Sicilia è nata nel 2000 per fornire agili strumenti di preparazione e consultazione in vista delle indagini etnolinguistiche sul campo. La collana raccoglie materiali metodologici che hanno contrassegnato le diverse tappe dell’ALS, dalla sezione sulla cultura alimentare a quella sui giochi fanciulleschi sino a quella sulla cultura marinara. Approssimandosi la campagna di raccolta dei dati toponimici dialettali, si rende necessario descrivere obiettivi e metodi di quella che sarà la più estesa indagine sul campo approntata dal gruppo di ricerca dell’Atlante Linguistico della Sicilia e che potrà essere implementata negli anni a veni…
Un protocollo per la raccolta dei toponimi orali in Sicilia
2022
Il DATOS sarà un progetto capillare che riguarderà una rete di punti fitta, grazie alla quale ricostruire un sistema onomastico a rischio depauperamento. Il contributo illustra - grazie a solidi riferimenti teorici e ad analoghe ricerche nazionali e internazionalli - metodologia e obiettivi del protocollo da affidare ai ricercatori sul campo, al fine di assicurare omogeneità non soltanto in fase di raccolta, ma anche di output dei materiali. Dalla scelta degli informatori, all'uso della documentazione d'archivio, dalla trascrizione alla classificazione, vengono forniti gli elementi che si renderanno utili per la formazione sul campo.