Sfoglia per Autore

opzioni
Mostrati risultati da 21 a 40 di 109
Titolo Data di pubblicazione Autore(i) File
A Trust Logic for Pre-Trust Computations 1-gen-2018 Tagliaferri, Mirko; Aldini, Alessandro
Design and Verification of Trusted Collective Adaptive Systems 1-gen-2018 Aldini, Alessandro
Introducing a flexible rewarding platform for mobile crowd-sensing applications 1-gen-2018 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Aldini, Alessandro; Bogliolo, Alessandro
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures 1-gen-2018 Aldini, A; Tagliaferri, M
Italian Conference on Theoretical Computer Science (ICTCS 2018) 1-gen-2018 Aldini, Alessandro; Bernardo, Marco
Design and validation of a trust-based opportunity-enabled risk management system 1-gen-2017 Aldini, Alessandro; Seigneur, Jean Marc; Ballester Lafuente, Carlos; Titi, Xavier; Guislain, Jonathan
Alcune note sui Teoremi di Incompletezza di Gödel e la conoscenza delle macchine 1-gen-2016 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
Data Privacy Management and Security Assurance. 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings 1-gen-2016 Aldini, Alessandro; Martinelli, Fabio; Suri, Neeraj
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis 1-gen-2016 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
On Probabilistic Application Compliance 1-gen-2016 Aldini, Alessandro; La Marra, Antonio; Martinelli, Fabio; Saracino, Andrea
Data Privacy Management, and Security Assurance. 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21–22, 2015. Revised Selected Papers 1-gen-2016 Aldini, Alessandro; Martinelli, Fabio; Suri, Neeraj
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems 1-gen-2016 Aldini, Alessandro
Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures 1-gen-2016 Aldini, Alessandro; Javier, Lopez; Fabio, Martinelli
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 1-gen-2015 Aldini, Alessandro; Bernardo, Marco
A Note on Knowing Machines 1-gen-2015 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
Formal Modeling and Verification of Opportunity-enabled Risk Management 1-gen-2015 Aldini, Alessandro; Seigneur, Jean Marc; Lafuente, Carlos Ballester; Titi, Xavier; Guislain, Jonathan
Modeling and verification of trust and reputation systems 1-gen-2015 Aldini, Alessandro
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance 1-gen-2015 Joaquin Garcia, Alfaro; Jordi Herrera, Joancomartí; Emil, Lupu; Joachim, Posegga; Aldini, Alessandro; Fabio, Martinelli; Neeraj, Suri
Do the Self-Knowing Machines Dream of Knowing Their Factivity? 1-gen-2015 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
A Framework Balancing Privacy and Cooperation Incentives in User-Centric Networks 1-gen-2015 Aldini, Alessandro
Mostrati risultati da 21 a 40 di 109
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile