Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 137
Titolo Data di pubblicazione Autore(i) File
TOWARDS AN OBJECT BASED MULTI-FORMALISM MULTI-SOLUTION MODELING APPROACH 1-gen-2002 G., Franceschinis; M., Gribaudo; Iacono, Mauro; N., Mazzocca; V., Vittorini
DrawNET++: model objects to support performance analysis and simulation of complex systems 1-gen-2002 G., Franceschinis; M., Gribaudo; Iacono, Mauro; N., Mazzocca; V., Vittorini
DrawNet++: a flexible framework for building dependability models 1-gen-2002 G., Franceschinis; M., Gribaudo; Iacono, Mauro; V., Vittorini; C., Bertoncello
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems 1-gen-2003 Iacono, Mauro; N., Mazzocca; Moscato, Francesco
DrawNET Xe!: GUI and Formalism Definition Language 1-gen-2003 A., Baravalle; G., Franceschinis; M., Gribaudo; V., Lanfranchi; Iacono, Mauro; N., Mazzocca; V., Vittorini
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 1-gen-2003 M., Gribaudo; Iacono, Mauro; N., Mazzocca; V., Vittorini
Improving the remote scheduling performance of manufacuring and installation of large custom-made products 1-gen-2004 R., Bandinelli; Iacono, Mauro; A., Orsoni
Anticipating Critical Events to Customise and Improve the Performance of Federation Runtime Infrastructure UKSIM 04, Seventh United Kingdom Simulation Society Conference, March 29 – 31, 2004 Oxford, United Kingdom, Proceedings, printed in the United Kingdom, 2004 1-gen-2004 R., Bandinelli; Iacono, Mauro; A., Orsoni
Improving on-line production scheduling performance with artificial intelligence techniques 1-gen-2004 R., Bandinelli; Iacono, Mauro; A., Orsoni
The OsMoSys approach to multi-formalism modelling of systems. 1-gen-2004 Iacono, Mauro; Mazzocca, N.; Franceschinis, G.; Vittorini, V.
Modelling distributed supervisory systems using a modular multi-formalism methodology 1-gen-2004 Iacono, Mauro; Marrone, S.; Mazzocca, N.; Moscato, Francesco
Anticipating critical events to improve the remote scheduling of coordinated production. 1-gen-2004 Bandinelli, R.; Iacono, Mauro; Orsoni, A.
Modeling Distributed Supervisory Systems using Modular Multi-formalism Methodology 1-gen-2004 Iacono, Mauro; Marrone, Stefano; Mazzocca, N; Moscato, Francesco
Compositional modeling of complex systems: contact center scenarios in OsMoSys 1-gen-2004 Franceschinis, G.; Gribaudo, M.; Iacono, Mauro; Marrone, Stefano; Mazzocca, N.; Vittorini, V.
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 1-gen-2004 D., CODETTA RAITERI; G., Franceschinis; Iacono, Mauro; N., Mazzocca; V., Vittorini
Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems 1-gen-2005 Flammini, F; Iacono, Mauro; Marrone, Stefano; Mazzocca, N.
A model analysis of a distributed monitoring system using a multi-formalism approach 1-gen-2006 Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Combining Genetic Algorithms and Fault Tree Analysis in reliability/cost optimization for critical complex systems 1-gen-2007 DE CARLO, F; Iacono, Mauro; Marrone, S.
Combining Genetic Algorithm and Fault Tree Analysis in Reliability/Cost Optimization for Critical Complex Systems 1-gen-2007 DE CARLO, F; Iacono, Mauro; Marrone, Stefano
The software architecture of the OsMoSYS Multisolution Framework 1-gen-2007 Moscato, Francesco; Flammini, Francesco; Di Lorenzo, Giusy; Vittorini, Valeria; Marrone, Stefano; Iacono, Mauro
Mostrati risultati da 1 a 20 di 137
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