Sfoglia per Serie
Towards Performance Evaluation with General Distributions in Process Algebras
1998 Bravetti, Mario; Bernardo, Marco; Gorrieri, Roberto
Towards State Space Reduction Based on T-Lumpability-Consistent Relations
2008 Bernardo, Marco
Trust Evidence Logic
2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
A Trust Logic for the Varieties of Trust
2020 Tagliaferri, Mirko; Aldini, Alessandro
Two Formal Approaches for Approximating Noninterference Properties
2004 Aldini, Alessandro; Bravetti, M; DI PIERRO, A; Gorrieri, R; Hankin, C; Wiklicky, H.
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks
2011 Bernardo, Marco; Cortellessa, Vittorio; Flamminj, Mirko
Understanding Users' Acceptance of Chatbots: An Extended TAM Approach
2022 DE CICCO, Roberta; Iacobucci, Serena; Aquino, Antonio; Romana Alparone, Francesca; Palumbo, Riccardo
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
2010 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
The use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability
2019 Mirko, Zichichi; Rodriguez-Doncel, Victor; Ferretti, Stefano
The Use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability
2021 Zichichi, Mirko; Rodríguez-Doncel, Víctor; Ferretti, Stefano
Using Justified True Beliefs to Explore Formal Ignorance
2023 Tagliaferri, Mirko
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems
2009 Aldini, Alessandro; Bernardo, Marco
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes
2011 Bernardo, Marco
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