Sfoglia per Rivista  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 12 di 12
Titolo Data di pubblicazione Autore(i) File
A Step Towards Checking Security in IoT 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
A typed model for dynamic authorizations 1-gen-2016 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 1-gen-2011 Galletta, L.; Levi, G.
Challenges in quantitative abstractions for collective adaptive systems 1-gen-2016 Tribastone, M.
Dynamic role authorization in multiparty conversations 1-gen-2014 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 1-gen-2015 Bertrand, N; Tribastone, M
Event-driven adaptation in COP 1-gen-2016 Degano, P.; Ferrari, G. L.; Galletta, L.
Extended differential aggregations in process algebra for performance and biology 1-gen-2014 Tribastone, M; Tschaikowski, M
Reliability and Fault-Tolerance by Choreographic Design 1-gen-2017 Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E.
Reversible Sessions Using Monitors 1-gen-2016 Mezzina, C; Pérez, J.
Tool Supported Analysis of IoT 1-gen-2017 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio
A type language for message passing component-based systems 1-gen-2020 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Mostrati risultati da 1 a 12 di 12
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