Sfoglia per Serie
The effectiveness of band-Toeplitz preconditioners: A survey
1997-01-01 Serra Capizzano, S.
EnGraf-Net: Multiple Granularity Branch Network with Fine-Coarse Graft Grained for Classification Task
2021-01-01 La Grassa, R.; Gallo, I.; Landro, N.
From model checking to a temporal proof for partial models
2017-01-01 Bernasconi, A.; Menghi, C.; Spoletini, P.; Zuck, L. D.; Ghezzi, C.
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics
2019-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Hiding information in multi level security systems
2007-01-01 Beauquier, D.; Lanotte, R.
How Adaptive and Reliable is Your Program?
2021-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
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
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