Sfoglia per Serie  

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 20 di 20
Titolo Data di pubblicazione Autore(i) File
Automatic transformation co-evolution using traceability models and graph transformation 1-gen-2018 Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy
Better Late Than Never or: Verifying Asynchronous Components at Runtime 1-gen-2021 Paul Attard, Duncan; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 1-gen-2020 Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio
Comparing Controlled System Synthesis and Suppression Enforcement 1-gen-2019 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
Coordination Models and Languages - 21st IFIP WG 6.1 1-gen-2019 Hanne Riis, Nielson; Tuosto, E
The Cost of Monitoring Alone 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 1-gen-2015 Aceto, L; Larsen, K G; Morichetta, A; Tiezzi, F
Election Control Through Social Influence with Unknown Preferences 1-gen-2020 Aboueimehrizi, M.; Corò, Federico.; Cruciani, E.; D'Angelo, Gianlorenzo
Generalized Distance Polymatrix Games 1-gen-2024 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 1-gen-2012 Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Locality of Not-so-Weak Coloring 1-gen-2019 Balliu, Alkida; Hirvonen, Juho; Lenzen, Christoph; Olivetti, Dennis; Suomela, Jukka
A Monitoring Tool for Linear-Time $$\mu $$HML 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Multi-winner election control via social influence 1-gen-2020 Aboueimehrizi, M.; D’Angelo, Gianlorenzo
An Operational Guide to Monitorability 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Sparsifying Congested Cliques and Core-Periphery Networks 1-gen-2016 Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis
Systematic Recovery of MDE Technology Usage 1-gen-2018 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Testing Equivalence vs. Runtime Monitoring 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Trustworthy Global Computing 1-gen-2014 Maffei, Matteo; Tuosto, Emilio
Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment 1-gen-2021 DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel
Web Services and Formal Methods 1-gen-2014 Tuosto, Emilio; Ouyang, Chun
Mostrati risultati da 1 a 20 di 20
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