IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 215
Titolo Data di pubblicazione Autore(i) File
An Experience in Architectural Extensions: Active Objects in J2EE 1-gen-2002 Inverardi, Paola; F., Mancinelli; Muccini, Henry; Pelliccione, Patrizio
A Context-Aware Approach to Infer Trust in Public Key Infrastructures 1-gen-2002 F, DI VITO; Inverardi, Paola; Melideo, Giovanna
Correct and automatic assembly of COTS components: an architectural approach 1-gen-2002 Inverardi, Paola; Tivoli, Massimo
An Experience in Architectural Extension: Active Object in J2EE 1-gen-2002 Inverardi, Paola; Mancinelli, F.; Muccini, Henry; Pelliccione, Patrizio
The role of architecture in components assembly 1-gen-2002 Inverardi, Paola; Tivoli, Massimo
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture 1-gen-2002 Marco, Castaldi; Inverardi, Paola; Sharareh, Afsharian
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 1-gen-2003 Flammini, Michele; Inverardi, Paola; Mango, D; Nesi, Monica
A compositional synthesis of failure-free connectors for correct components assembly 1-gen-2003 Inverardi, Paola; Tivoli, Massimo
Failure-free Connector Synthesis for Correct Components Assembly 1-gen-2003 Inverardi, Paola; Tivoli, Massimo
Software Architectures and Coordination models 1-gen-2003 Inverardi, Paola; Muccini, Henry
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 1-gen-2003 Compare, D.; Inverardi, Paola; Pelliccione, Patrizio; Sebastiani, A.
Coordination models, Software Architecture, UML, Process 1-gen-2003 Inverardi, Paola; Muccini, Henry
A Review on Using Queueing Network Models with finite capacity queues for Software Architectures Performance Prediction 1-gen-2003 Simonetta, Balsamo; Vittoria, DE NITTO PERSONE'; Inverardi, Paola
Static Analysis of Real-Time Component-based Systems Configurations 1-gen-2003 Attanasio, Candida; Corradini, Flavio; Inverardi, Paola
Software Architecture for Correct Components Assembly 1-gen-2003 Inverardi, Paola; Tivoli, Massimo
Automatic synthesis of coordinators of COTS group-ware applications: an example 1-gen-2003 Inverardi, Paola; Tivoli, Massimo; Bucchiarone, A.
Deadlock-free software architectures for COM/DCOM Applications 1-gen-2003 Inverardi, Paola; Tivoli, Massimo
A Lightweight Infrastructure for Reconfiguring Applications 1-gen-2003 Marco, Castaldi; Antonio, Carzaniga; Inverardi, Paola; Alexander, L. WOLF
Formal Methods in Testing Software Architectures 1-gen-2003 Bertolino, A; Inverardi, Paola; Muccini, Henry
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 1-gen-2004 Inverardi, Paola; Mancinelli, F; Nesi, Monica
Mostrati risultati da 61 a 80 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