Zobrazeno 1 - 4
of 4
pro vyhledávání: '"non-interferenza"'
Autor:
ADOBBATI, FEDERICA
In questa tesi studiamo tecniche formali per l'analisi del flusso di informazioni e per verificare proprietà di controllo in sistemi distribuiti modellati con reti di Petri. Il problema che affrontiamo consiste nel verificare se un agente che osserv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::a46bde90e6326b93e5f6751ee035446c
https://hdl.handle.net/10281/414504
https://hdl.handle.net/10281/414504
Autor:
Di Rosa, Alessandro
Il presente lavoro di ricerca ha come obiettivo quello di studiare il fenomeno dell’hate speech a partire da una prospettiva filosofico-giuridica come una questione di diritti umani. In particolare, dopo aver analizzato la questione della definizio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______341::349196fe321883075e8ebdc571f2b4ac
http://hdl.handle.net/1889/4124
http://hdl.handle.net/1889/4124
Autor:
KILINC, GORKEM
La tesi propone una cornice formale per la vivezza e la sicurezza di sistemi distribuiti, e nuovi approcci per definire sistemi sicuri e 'serviceable'. Discute inoltre i relativi metodi di model-checking. Nel modellare sistemi distribuiti, classifich
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::0306d5b26611015da9222ec1e90b9fbd
http://hdl.handle.net/10281/102363
http://hdl.handle.net/10281/102363