Sfoglia per Serie
Testing for Coordination Fidelity
2019-01-01 Alrahman, Yehia Abd; Mezzina, Claudio Antares; Vieira, Hugo Torres
A Theory of Testing for Markovian Processes
2000-01-01 Bernardo, Marco; Cleaveland, Rance
Towards a Formal Account for Software Transactional Memory
2020-01-01 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
Towards a Formal Treatment of Secrecy against Computational Adversaries
2005-01-01 Troina, A; Aldini, Alessandro; Gorrieri, R.
Towards a Truly Concurrent Semantics for Reversible CCS
2021-01-01 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Towards Bridging Time and Causal Reversibility
2020-01-01 Bernardo, Marco; Mezzina, Claudio Antares
Towards Choreographic-Based Monitoring
2020-01-01 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Towards General Axiomatizations for Bisimilarity and Trace Semantics
2021-01-01 Bernardo, Marco
Towards Performance Evaluation with General Distributions in Process Algebras
1998-01-01 Bravetti, Mario; Bernardo, Marco; Gorrieri, Roberto
Towards State Space Reduction Based on T-Lumpability-Consistent Relations
2008-01-01 Bernardo, Marco
Trust Evidence Logic
2021-01-01 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
A Trust Logic for the Varieties of Trust
2020-01-01 Tagliaferri, Mirko; Aldini, Alessandro
Two Formal Approaches for Approximating Noninterference Properties
2004-01-01 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-01-01 Bernardo, Marco; Cortellessa, Vittorio; Flamminj, Mirko
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
2010-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
The use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability
2019-01-01 Mirko, Zichichi; Rodriguez-Doncel, Victor; Ferretti, Stefano
The Use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability
2021-01-01 Zichichi, Mirko; Rodríguez-Doncel, Víctor; Ferretti, Stefano
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems
2009-01-01 Aldini, Alessandro; Bernardo, Marco
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes
2011-01-01 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