IRIS

MAZZOCCA, NICOLA

MAZZOCCA, NICOLA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 393 (tempo di esecuzione: 0.016 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
A Design Tool for Dependable Video on Demand Applications 4.1 Articoli in Atti di convegno 1999 Romano, L.; Coronato, A.; Mazzeo, Antonino; Mazzocca, N.
A Simulated Fault Injection Tool for Dependable VoD Application Design 4.1 Articoli in Atti di convegno 1999 Romano, L.; Capuozzo, G.; Mazzeo, Antonino; Mazzocca, N.
Integration of Mobile Agents and OpenMP for programming clusters of Shared Memory 4.1 Articoli in Atti di convegno 2001 R., Aversa; DI MARTINO, B; Mazzocca, Nicola; Rak, M; Venticinque, S.
EPOCA: present and prospects 2.1 Contributo in volume (Capitolo o Saggio) 1996 S., Donatelli; Mazzocca, Nicola; Russo, Stefano
Parallel Program Development using the MetaPL Notation System 4.1 Articoli in Atti di convegno 2001 Rak, M; Mazzocca, Nicola; Villano, U.
Efficient Model Checking of Properties of a Multimedia Application 4.1 Articoli in Atti di convegno 1999 DE FRANCESCO, A; Mazzocca, Nicola; Vaglini, G; Vittorini, V.
On-line integration and reasoning of multi-sensor data to enhance infrastructure surveillance 1.1 Articolo in rivista 2009 F., Flammini; Gaglione, Andrea; Mazzocca, Nicola; Moscato, Vincenzo; C., Pragliola
SECURE: a Simulation Tool for PKI Design 2.1 Contributo in volume (Capitolo o Saggio) 1999 Romano, L.; Mazzeo, Antonino; Mazzocca, N.
The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP2011) 8.04 Convegni organizzati dalla struttura 2011 Mazzeo, Antonino; Franceschetti, Giorgio; Mazzocca, Nicola; Vittorini, Valeria
Reliability and fault-toelrance issues in distribuited VoD 4.1 Articoli in Atti di convegno 1999 Capuozzo, G; Mazzeo, A; Mazzocca, Nicola; Romano, L.
Using Programmable Hardware in Performance and Security-critical Cryptographic Applications 8.10 Tesi di Dottorato 2003 Mazzocca, Nicola; Strollo, ANTONIO GIUSEPPE MARIA
Efficency Measurements in Heterogeneous Transputer System 2.1 Contributo in volume (Capitolo o Saggio) 1994 Mazzeo, A.; Mazzocca, Nicola; Villano, U.
Evaluation of the On-Line Testing Features of a Fail-Safe Railway Control System 4.1 Articoli in Atti di convegno 1997 Romano, L.; Kalbarczyk, Z.; Iyer, R. K.; Mazzeo, Antonino; Mazzocca, N.
Secure Access to Personalized Web Services 4.1 Articoli in Atti di convegno 2001 Barone, G. B.; Margarita, N.; Mazzeo, Antonino; Mazzocca, N.; Romano, L.
An Experience in Railway interlocking System Specification and formal Verification 4.1 Articoli in Atti di convegno 2003 Chianese, R; Lazzaro, A; Marmo, P; Mazzocca, Nicola; Papa, D; Vittorini, V.
An Experience in Railway interlocking Systems Specification and Formal Verification 2.1 Contributo in volume (Capitolo o Saggio) 2003 Chianese, R.; Lazzaro, A.; Marmo, P.; Mazzocca, N.; Papa, D.; Vittorini, Valeria
An Experience in Railway interlocking Systems Specification and Formal Verification 2.1 Contributo in volume (Capitolo o Saggio) 2003 Chianese, R.; Lazzaro, A.; Marmo, P; Mazzocca, Nicola; Papa, D.; Vittorini, V.
INTEGRATION OF SEMANTIC AND CLUSTERING TECHNIQUES FOR WEB INFORMATION RETRIEVAL 4.1 Articoli in Atti di convegno 2004 Mazzeo, Antonino; B., DI MARTINO; Mazzocca, Nicola
FPGA-based implementation of a serial RSA processor 4.1 Articoli in Atti di convegno 2003 Mazzeo, Antonino; Romano, L.; G. P., Saggese; Mazzocca, Nicola
Behavior of a Computer Based Interlocking System Under Transient Hardware Faults 4.1 Articoli in Atti di convegno 1997 Romano, L.; Kalbarczyk, Z.; Iyer, R. K.; Mazzeo, Antonino; Mazzocca, N.