IRIS

Sfoglia per Titolo

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 409 a 428 di 5.464
Titolo Data di pubblicazione Autore(i) File
Atmospheric neutrinos and the knee of the cosmic ray spectrum 1-gen-2020 Mascaretti, C; Blasi, P; Evoli, C
Attori locali e strategie di sviluppo urbano a Cagliari: la contesa sulla portualità 1-gen-2008 Boggio, F; Memoli, M; Rossi, U
Attribute-based transactions in service oriented computing 1-gen-2015 Bocchi, Laura; Tuosto, E
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 1-gen-2008 Aceto, L; Damgaard, I; Goldberg, L A; Halldórsson, M M; Ingólfsdóttir, A; Walukiewicz, I
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 1-gen-2011 Aceto, L; Henzinger, M; Sgall, J
Automated chaining of model transformations with incompatible metamodels 1-gen-2014 Basciani, Francesco; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Automated Check of Architectural Models Consistency using Spin 1-gen-2001 Inverardi, P.; Muccini, H.; Pelliccione, P
Automated Classification of Metamodel Repositories: A Machine Learning Approach 1-gen-2019 Nguyen, Phuong T.; Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico
Automated clustering of metamodel repositories 1-gen-2016 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Automated Code Generation for NFC-based Access Control 1-gen-2019 Iovino, Ludovico; DE SANCTIS, Martina; Rossi, MARIA TERESA
Automated Detection of Software Performance Antipatterns in Java-Based Applications 1-gen-2023 Trubiani, Catia; Pinciroli, Riccardo; Biaggi, Andrea; Fontana, Francesca Arcelli
Automated Inference of Models for Black Box Systems based on Interface Descriptions 1-gen-2012 Maik, Merten; Falk, Howar; Bernhard, Steffen; Pelliccione, P; Massimo, Tivoli
Automated model-based performance analysis of software product lines under uncertainty 1-gen-2020 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Automated model-based performance analysis of software product lines under uncertainty 1-gen-2021 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Automated quality assessment of interrelated modeling artifacts 1-gen-2021 Basciani, Francesco; Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Automated Replication of Tuple Spaces via Static Analysis 1-gen-2021 Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco
Automated Replication of Tuple Spaces via Static Analysis and Transformation of Go Programs 7-set-2022 Uwimbabazi, Aline
Automated Reuse of Model Transformations through Typing Requirements Models 1-gen-2019 De Lara, Juan; Guerra, Esther; Di Ruscio, Davide; Di Rocco, Juri; Sanchez Cuadrado, Jesús; Iovino, Ludovico; Pierantonio, Alfonso
Automated Selection of Optimal Model Transformation Chains via Shortest-Path Algorithms 1-gen-2020 Basciani, Francesco; D'Emidio, Mattia; Di Ruscio, Davide; Frigioni, Daniele; Iovino, Ludovico; Pierantonio, Alfonso
An automated system to define the optimal operating settings of cryogenic calorimeters 1-gen-2021 Alfonso, K.; Bucci, C.; Canonica, L.; Carniti, P.; Di Domizio, S.; Giachero, A.; Gotti, C.; Marini, L.; Nutini, I.; Pessina, G.
Mostrati risultati da 409 a 428 di 5.464
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