IRIS

Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 48 a 67 di 112
Titolo Data di pubblicazione Autore(i) File
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 1-gen-2004 Aldini, Alessandro; Bernardo, Marco
Interpretable Machine Learning for Automated Cellular Population Analysis in Flow Cytometry 1-gen-2025 Benedetti, Riccardo; Suffian, Muhammad; Bogliolo, Alessandro; Canonico, Barbara; Papa, Stefano; Ortolani, Claudio; Montagna, Sara
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox 1-gen-2023 Aldini, Alessandro; Alexander, Samuel Allen; Graziani, Pierluigi
Logics to Reason Formally About Trust Computation and Manipulation 1-gen-2020 Aldini, Alessandro; Tagliaferri, Mirko
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 1-gen-2005 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
Model Checking Reversible Systems: Forwardly 1-gen-2024 Dal Pio Luogo, Federico; Mezzina, CLAUDIO ANTARES; Michele Pinna, G.
Non-Synchronous Communications in Process Algebraic Architectural Description Languages 1-gen-2008 Bernardo, Marco; Bontà, Edoardo
Noninterference Analysis of Deterministically Timed Reversible Systems 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Noninterference Analysis of Reversible Probabilistic Systems 1-gen-2024 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Noninterference Analysis of Stochastically Timed Reversible Systems 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret 1-gen-2026 Aldini, Alessandro; Fazio, Davide; Graziani, Pierluigi; Mascella, Raffaele; Tagliaferri, Mirko
On Reversibility and Broadcast 1-gen-2018 Mezzina, Claudio Antares
On Reversibility in Petri Nets 1-gen-2026 Melgratti, Hernán; Mezzina, Claudio Antares; Michele Pinna, G.
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems 1-gen-2014 Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
Performability Measure Specification: Combining CSRL and MSL 1-gen-2011 Aldini, Alessandro; Bernardo, Marco; Sproston, Jeremy
Performance Evaluation at the Software Architecture Level 1-gen-2003 Balsamo, Simonetta; Bernardo, Marco; Simeoni, Marta
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 1-gen-2007 Bernardo, Marco; Padovani, Luca
THE PORTICO OF THE CHURCH OF ST. FRANCIS IN URBINO: A DIGITAL MAP FOR MONUMENTS 1-gen-2012 Baratin, Laura; Giuliano, Monica; Checcucci, Giovanni
Preserving Architectural Properties in Multithreaded Code Generation 1-gen-2005 Bernardo, Marco; Bontà, Edoardo
Reasoning About Ignorance and Beliefs 1-gen-2021 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Mostrati risultati da 48 a 67 di 112
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