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 430 a 449 di 5.785
Titolo Data di pubblicazione Autore(i) File
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 Feature Identification for Android Apps 1-gen-2020 Scoccia, G. L.
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 integration of service-oriented software systems 1-gen-2015 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Automated model-based performance analysis of software product lines under uncertainty 1-gen-2021 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Automated model-based performance analysis of software product lines under uncertainty 1-gen-2020 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Automated Negotiation - Preliminary Results of a Systematic Mapping Study 1-gen-2023 Memon, Mashal Afzal; Scoccia, Gian Luca; Autili, Marco
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
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2015 Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2019 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Automated Synthesis of Service Choreographies 1-gen-2015 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
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 430 a 449 di 5.785
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