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 14 a 32 di 32
Titolo Data di pubblicazione Autore(i) File
Hiding information in multi level security systems 1-gen-2007 Beauquier, D.; Lanotte, R.
How Adaptive and Reliable is Your Program? 1-gen-2021 Castiglioni, V.; Loreti, M.; Tini, S.
Integrating goal model analysis with iterative design 1-gen-2017 Menghi, C.; Spoletini, P.; Ghezzi, C.
Interacting with More Than One Chart: What Is It All About? 1-gen-2021 Locoro, A.; Buono, P.; Buonanno, G.
Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews 1-gen-2018 Spoletini, P.; Ferrari, A.; Bano, M.; Zowghi, D.; Gnesi, S.
Learning to Navigate in the Gaussian Mixture Surface 1-gen-2021 La Grassa, R.; Gallo, I.; Vetro, C.; Landro, N.
LiMNet: Early-Stage Detection of IoT Botnets with Lightweight Memory Networks 1-gen-2021 Giaretta, L.; Lekssays, A.; Carminati, B.; Ferrari, E.; Girdzijauskas, S.
Measuring Adaptability and Reliability of Large Scale Systems 1-gen-2020 Castiglioni, V.; Loreti, M.; Tini, S.
Privacy-preserving trust negotiations 1-gen-2005 Bertino, E.; Ferrari, E.; Squicciarini, A. C.
Probability Measures in Gödel_Δ Logic 1-gen-2017 Stefano, Aguzzoli; Bianchi, Matteo; Gerla, Brunella; Diego, Valota
Representing Object Code 1-gen-2000 Benini, Marco
SAT-based proof search in intermediate propositional logics 1-gen-2022 Fiorentini, C.; Ferrari, M.
Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects 1-gen-2020 Boffa, S.; Gerla, B.
Structural model checking for communicating hierarchical machines 1-gen-2004 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Supporting verification-driven incremental distributed design of components 1-gen-2018 Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C.
Towards a formal notion of impact metric for cyber-physical attacks 1-gen-2018 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Virtual patients for knowledge sharing and clinical practice training: A gamified approach 1-gen-2016 Cabitza, F.; Fogli, D.; Locoro, A.
Visual Word Embedding for Text Classification 1-gen-2021 Gallo, I.; Nawaz, S.; Landro, N.; La Grassa, R.
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces 1-gen-2018 Lanotte, Ruggero; Tini, Simone
Mostrati risultati da 14 a 32 di 32
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