Searching for authors named "Nicola Mazzocca" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Efficient Model Checking of Properties of a Distributed Application: a Multimedia Case Study
- …Ecient Model Checking of Properties of a Distributed Application: a Multimedia Case Study 1 Nicola…
- Add To MetaCart
-
Integrating Trace Logic and Petri Nets Specifications
- …Integrating trace logic and Petri nets specifications Nicola Mazzocca, Stefano Russo, Valeria…
- Cited by 2 (2 self) – Add To MetaCart
-
The Wabasoft Homepage. www.wabasoft.com
- …-ORIENTED MODELLING Marco Gribaudo Mauro Iacono Nicola Mazzocca Valeria Vittorini Dipartimento di Informatica…
- Cited by 1 (1 self) – Add To MetaCart
-
Techniques for Reliability and Fault Tolerance in
- … Iacono and Nicola Mazzocca Dip. Ingegneria dell’Informazione, Second University of Naples, Italy…
- Add To MetaCart
-
Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0
- …. Mazzocca 2 , M. Rak 2 , S. Pllana 1 , U. Villano 3 , G. Madsen 4 1 Institute for Software Science…
- Cited by 2 (1 self) – Add To MetaCart
-
Self-Optimization of Secure Web Services
- …Self-Optimization of Secure Web Services Valentina Casola a Emilio P. Mancini b Nicola Mazzocca a…
- Add To MetaCart
Showing 1 through 6.
