CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 59
Titolo Data di pubblicazione Autore(i) File
Specifying and Verifying in Tuple Spaces 1-gen-1995 Semini, Laura; Montangero, Carlo
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming 1-gen-1996 Ambriola, Vincenzo; Cignoni, G. A.; Semini, Laura
Applying Refinement Calculi to Software Process Modelling 1-gen-1996 Montangero, Carlo; Semini, Laura
Refining by architectural style or Architecting by refinements 1-gen-1996 Montangero, Carlo; Semini, Laura
Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality 1-gen-1999 Fantechi, A; Gnesi, S.; Semini, Laura
Composing Specifications for Coordination 1-gen-1999 Montangero, Carlo; Semini, Laura
A Refinement Calculus for Mobility: Expressing Security Properties 1-gen-1999 Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura
Refinement Calculus for Mobility: expressing security policies 1-gen-1999 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
A Refinement Calculus for Tuple Spaces 1-gen-1999 Semini, Laura; Montangero, Carlo
Implementation of coordination primitives in a mobile architecture 1-gen-1999 Gnesi, S.; Semini, Laura
Mobile Agents Coordination in Mob-adtl 1-gen-2000 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
Specification and Composition of Software Components: Formal Methods meet Standards 1-gen-2000 Montangero, Carlo; Semini, Laura
Multiple Security Policies in Mob_adtl 1-gen-2000 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; S., Semprini
Software specification and design: from formal methods to standard middleware 1-gen-2001 Montangero, Carlo; Semini, Laura
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 1-gen-2001 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
Ad Hoc Network Applications: Specification, Design and Verification in Mob-adtl 1-gen-2001 Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura; Semprini, S.
Distributed States Logic 1-gen-2002 Montangero, Carlo; Semini, Laura
Mark: A reasoning Kit for Mobility 1-gen-2002 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
Service discovery in Mobadtl 1-gen-2003 Montangero, Carlo; Semini, Laura; Semprini, S.
Formalizing an Adaptive Security Infrastructure in Mob-adtl 1-gen-2004 Montangero, Carlo; Semini, Laura
Mostra risultati da 1 a 20 di 59
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