Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 88
Titolo Data di pubblicazione Autore(i) File
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems 1-gen-2003 Iacono, Mauro; N., Mazzocca; Moscato, Francesco
. Myocardial systolic activation delay in patients with right ventricular dual-chamber pacing and either normal or impaired left ventricular function 1-gen-2004 A., Dandrea; P., Caso; F., SCOTTO DI UCCIO; F., Vigorito; Moscato, Francesco; R., Citro; DI SALVO, Giovanni
Modelling distributed supervisory systems using a modular multi-formalism methodology 1-gen-2004 Iacono, Mauro; Marrone, S.; Mazzocca, N.; Moscato, Francesco
Modeling Distributed Supervisory Systems using Modular Multi-formalism Methodology 1-gen-2004 Iacono, Mauro; Marrone, Stefano; Mazzocca, N; Moscato, Francesco
Mobile Agent based Grid Programming: integration opportunities and experiences 1-gen-2005 DI MARTINO, Beniamino; Moscato, Francesco; Aversa, Rocco; Venticinque, Salvatore
Workflow pattern analysis in web services orchestration: The BPEL4WS example 1-gen-2005 Moscato, Francesco; Mazzocca, N; Vittorini, V; Di Lorenzo, G; Mosca, P; Magaldi, M.
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework 1-gen-2005 Marco, G.; Mazzocca, N.; Moscato, Francesco; Vittorini, V.
Workflow principles applied to multi-solution analysis of dependable distributed systems 1-gen-2005 Moscato, Francesco; Vittorini, V; Mazzocca, N.
Enabling Mobile Agents trasparent execution context migration through Globus services 1-gen-2006 Venticinque, Salvatore; Moscato, Francesco; DI MARTINO, Beniamino; Aversa, Rocco; 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
Enabling Mobile Agents transparent execution context migration through Globus services 1-gen-2006 DI MARTINO, Beniamino; Aversa, Rocco; Moscato, Francesco; Venticinque, Salvatore
Automatic generation of context-aware web services compositions 1-gen-2007 G., DI LORENZO; N., Mazzocca; Moscato, Francesco; V., Vittorini
The software architecture of the OsMoSYS Multisolution Framework 1-gen-2007 Moscato, Francesco; Flammini, Francesco; Di Lorenzo, Giusy; Vittorini, Valeria; Marrone, Stefano; Iacono, Mauro
Automatic Analysis of Control Flow in Web Services Composition Processes 1-gen-2007 Moscato, Francesco
Towards Semantics Driven Generation of Executable Web Services Compositions 1-gen-2007 DI LORENZO, G; Moscato, Francesco; Mazzocca, N; Vittorini, V.
COSCA: una architettura per l'analisi di campi elettromagnetici su scala geografica in ambienti e-science basati su GRID 1-gen-2008 Moscato, Francesco; Mazzocca, N; Imperatore, P; Franceschetti, Guida
E-Learning, Modelli e Tecnologie 1-gen-2008 Civitillo, G; DI MARTINO, Beniamino; Moscato, Francesco; Selvaggi, S; Sica, V; Sicignano, G.
Strumento su piattaforma GRID per la Predizione del campo elettromagnetico in aree urbane 1-gen-2008 Imperatore, P; Moscato, Francesco; Guida, Ruello; Iodice, Riccio; Mazzocca, N; Franceschetti,
Foreword: Semantic web and semantic information management 1-gen-2008 Moscato, Francesco; DI MARTINO, Beniamino
Formal Modeling and Verification of Real-Time Multi-Agent Systems: the REMM Framework 1-gen-2008 Moscato, Francesco; Venticinque, Salvatore; Aversa, Rocco; DI MARTINO, Beniamino
Mostrati risultati da 1 a 20 di 88
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