Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 70
Titolo Data di pubblicazione Autore(i) File
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 1-gen-2011 Galletta, L.; Levi, G.
Typing Context-Dependent Behavioural Variation 1-gen-2012 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 1-gen-2012 Galletta, L
Formalising Security in Ubiquitous and Cloud Scenarios 1-gen-2012 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Types for Coordinating Secure Behavioural Variations 1-gen-2012 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Security in Pervasive Applications: A Survey 1-gen-2013 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzett, Gianluca
Typing context-dependent behavioural variations 1-gen-2013 Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca
Here you can't: context-aware security 1-gen-2014 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
An Abstract Interpretation Framework for Type and Effect Systems 1-gen-2014 Galletta, Letterio
A Two-Phase Static Analysis for Reliable Adaptation 1-gen-2014 Degano, P.; Ferrari, G. L.; Galletta, L.
Linguistic Mechanisms for Context-Aware Security 1-gen-2014 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Francesco, Salvatori
A Two-Component Language for COP 1-gen-2014 Degano, P.; Ferrari, G. L.; Galletta, L.
Safe adaptation through implicit effect coercion 1-gen-2015 Basile, Davide; Galletta, Letterio; Mezzetti, Gianluca
A context-oriented extension of F# 1-gen-2015 Canciani, A.; Degano, P.; Ferrari, G. L.; Galletta, L.
Securing IoT communications: at what cost? 1-gen-2016 Bodei, Chiara; Galletta, Letterio
The cost of securing IoT communications 1-gen-2016 Bodei, Chiara; Galletta, Letterio
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 1-gen-2016 Degano, P.; Ferrari, G. L.; Galletta, L.
A semantics for disciplined concurrency in COP 1-gen-2016 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
A Step Towards Checking Security in IoT 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Last Mile’s Resources 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Mostrati risultati da 1 a 20 di 70
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