Sfoglia per Rivista
Lime: A Coordination Middleware Supporting Mobility of Hosts and Agents
2006-01-01 Murphy, Amy Lynn; Picco, Gian Pietro; G. C., Roman
Mitigating Debugger-based Attacks to Java Applications with Self-Debugging
2024-01-01 Pizzolotto, Davide; Berlato, Stefano; Ceccato, Mariano
Validation of Requirements for Hybrid Systems: a Formal Approach
2012-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Lime: A Coordination Middleware Supporting Mobility of Hosts and Agents | 1-gen-2006 | Murphy, Amy Lynn; Picco, Gian Pietro; G. C., Roman | |
Mitigating Debugger-based Attacks to Java Applications with Self-Debugging | 1-gen-2024 | Pizzolotto, Davide; Berlato, Stefano; Ceccato, Mariano | |
Validation of Requirements for Hybrid Systems: a Formal Approach | 1-gen-2012 | Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano |
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