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