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