Sfoglia per Serie
Specifying Access Control Policies on Data Streams
2007-01-01 Carminati, Barbara; Ferrari, Elena; K. L., Tan
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment
2023-01-01 Castiglioni, Valentina; Loreti, Michele; Tini, Simone
State-based firewall for industrial protocols with critical-state prediction monitor
2011-01-01 Nai Fovino, I.; Carcano, A.; Coletta, A.; Guglielmi, M.; Masera, M.; Trombetta, A.
Taylor Approximation for Hybrid Systems
2005-01-01 Lanotte, Ruggero; Tini, Simone
A Terminating Evaluation-Driven Variant of G3i
2013-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
Towards an Ontology-Based Decision Support System to Support Car-Reconfiguration for Novice Wheelchair Users
2022-01-01 Spoladore, D.; Cilsal, T.; Mahroo, A.; Trombetta, A.; Sacco, M.
Towards Reverse Engineering of Industrial Physical Processes
2023-01-01 Ceccato, M.; Driouich, Y.; Lanotte, R.; Lucchese, M.; Merro, M.
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming
1999-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
Trust-X: An XML framework for trust negotiations
2003-01-01 Elisa, Bertino; Ferrari, Elena; ANNA CINZIA SQUICCIARINI TRUST, Chi
VIrtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities
2003-01-01 Benini, Marco; F. DE CINDIO, F.; Sonnante, L.
Weak simulation quasimetric in a gossip scenario
2017-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Specifying Access Control Policies on Data Streams | 1-gen-2007 | Carminati, Barbara; Ferrari, Elena; K. L., Tan | |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment | 1-gen-2023 | Castiglioni, Valentina; Loreti, Michele; Tini, Simone | |
State-based firewall for industrial protocols with critical-state prediction monitor | 1-gen-2011 | Nai Fovino, I.; Carcano, A.; Coletta, A.; Guglielmi, M.; Masera, M.; Trombetta, A. | |
Taylor Approximation for Hybrid Systems | 1-gen-2005 | Lanotte, Ruggero; Tini, Simone | |
A Terminating Evaluation-Driven Variant of G3i | 1-gen-2013 | Ferrari, Mauro; Fiorentini, C.; Fiorino, G. | |
Towards an Ontology-Based Decision Support System to Support Car-Reconfiguration for Novice Wheelchair Users | 1-gen-2022 | Spoladore, D.; Cilsal, T.; Mahroo, A.; Trombetta, A.; Sacco, M. | |
Towards Reverse Engineering of Industrial Physical Processes | 1-gen-2023 | Ceccato, M.; Driouich, Y.; Lanotte, R.; Lucchese, M.; Merro, M. | |
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming | 1-gen-1999 | MAGGIOLO SCHETTINI, A.; Tini, Simone | |
Trust-X: An XML framework for trust negotiations | 1-gen-2003 | Elisa, Bertino; Ferrari, Elena; ANNA CINZIA SQUICCIARINI TRUST, Chi | |
VIrtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities | 1-gen-2003 | Benini, Marco; F. DE CINDIO, F.; Sonnante, L. | |
Weak simulation quasimetric in a gossip scenario | 1-gen-2017 | 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