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 76 a 93 di 93
Titolo Data di pubblicazione Autore(i) File
Towards a Truly Concurrent Semantics for Reversible CCS 1-gen-2021 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Towards a Taxonomy for Reversible Computation Approaches 1-gen-2023 Glück, Robert; Lanese, Ivan; Mezzina, Claudio Antares; Miszczak, Jarosław Adam; Phillips, Iain; Ulidowski, Irek; Vidal, Germán
Towards Bridging Time and Causal Reversibility 1-gen-2020 Bernardo, Marco; Mezzina, Claudio Antares
Towards Choreographic-Based Monitoring 1-gen-2020 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Towards General Axiomatizations for Bisimilarity and Trace Semantics 1-gen-2021 Bernardo, Marco
Towards Performance Evaluation with General Distributions in Process Algebras 1-gen-1998 Bravetti, Mario; Bernardo, Marco; Gorrieri, Roberto
Towards State Space Reduction Based on T-Lumpability-Consistent Relations 1-gen-2008 Bernardo, Marco
Trust Evidence Logic 1-gen-2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
A Trust Logic for the Varieties of Trust 1-gen-2020 Tagliaferri, Mirko; Aldini, Alessandro
Two Formal Approaches for Approximating Noninterference Properties 1-gen-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 1-gen-2011 Bernardo, Marco; Cortellessa, Vittorio; Flamminj, Mirko
Understanding Users' Acceptance of Chatbots: An Extended TAM Approach 1-gen-2022 DE CICCO, Roberta; Iacobucci, Serena; Aquino, Antonio; Romana Alparone, Francesca; Palumbo, Riccardo
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes 1-gen-2010 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
The use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability 1-gen-2019 Mirko, Zichichi; Rodriguez-Doncel, Victor; Ferretti, Stefano
The Use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability 1-gen-2021 Zichichi, Mirko; Rodríguez-Doncel, Víctor; Ferretti, Stefano
Using Justified True Beliefs to Explore Formal Ignorance 1-gen-2023 Tagliaferri, Mirko
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 1-gen-2009 Aldini, Alessandro; Bernardo, Marco
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes 1-gen-2011 Bernardo, Marco
Mostrati risultati da 76 a 93 di 93
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