IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 100 di 215
Titolo Data di pubblicazione Autore(i) File
Automatic adaptor synthesis for protocol transformation 1-gen-2004 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Charmy: A Framework for Designing and Validating Architectural Specifications 1-gen-2004 Mauro, Caporuscio; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Synthesis of "correct" adaptors for protocol enhancement in component based systems 1-gen-2004 Autili, Marco; Inverardi, Paola; Tivoli, Massimo; Garlan, D.
Compositional Generation of Software Architecture Performance QN Models 1-gen-2004 DI MARCO, Antinisca; Inverardi, Paola
Automatic failures-free connector synthesis: An example 1-gen-2004 Inverardi, Paola; Tivoli, Massimo
Formal Analysis of Architectural Patterns 1-gen-2004 Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio
Experimenting different software architectures performance techniques: a case study 1-gen-2004 S., Balsamo; DI MARCO, Antinisca; Inverardi, Paola; M., Marzolla
Automated Performance Validation of Software Design: An Industrial Experience 1-gen-2004 Daniele, Compare; Antonio, D'Onofrio; DI MARCO, Antinisca; Inverardi, Paola
Using Software Architecture for code testing 1-gen-2004 Muccini, Henry; A., Bertolino; Inverardi, Paola
Using UML for SA-based Modeling and Analysis 1-gen-2004 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Model-based Performance Prediction in Software Development: A Survey 1-gen-2004 Balsamo, S; DI MARCO, Antinisca; Inverardi, Paola; Simeoni, M.
Correct components assembly for a Product Data Management cooperative system 1-gen-2004 Tivoli, Massimo; Inverardi, Paola; Presutti, V; Forghieri, A; Sebastianis, M.
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems 1-gen-2004 Stefano, Porcarelli; Marco, Castaldi; Felicita, Di Giandomenico; Andrea, Bondavalli; Inverardi, Paola
Three Performance Models at Work: A Software Designer Perspective 1-gen-2004 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola
Compositional Verification of Middleware-Based Software Architecture descriptions 1-gen-2004 M., Caporuscio; Inverardi, Paola; Pelliccione, Patrizio
CHARMY: An Extensible Tool for Architectural Analysis 1-gen-2005 Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Uncertain event-based model for egocentric context sensing 1-gen-2005 Mauro, Caporuscio; Inverardi, Paola
A Distributed Intrusion Detection Approach for Secure Software Architecture 1-gen-2005 Inverardi, Paola; Mostarda, L.
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 1-gen-2005 M, Caporuscio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Pierantonio, Alfonso
Run-time Performance Management of the Siena Publish/Subscribe Middleware 1-gen-2005 M., Caporuscio; DI MARCO, Antinisca; Inverardi, Paola
Mostrati risultati da 81 a 100 di 215
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