IRIS Institutional Research Information System

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 41 a 60 di 186
Titolo Data di pubblicazione Autore(i) File
A Decidable Constructive Description Logic 1-gen-2010 Bozzato, Loris; Mauro, Ferrari; Camillo, Fiorentini; Guido, Fiorino
Declarative Process Models: Different Ways to Be Hierarchical 1-gen-2016 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio M.
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 1-gen-2009 Bucchiarone, Antonio; C., Cappiello; E., Di Nitto; Kazhamiakin, Raman; V., Mazza; Pistore, Marco
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience 1-gen-2018 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca
Detecting Inappropriate Comments to News 1-gen-2018 Bellan, Patrizio; Strapparava, Carlo
Discovering Latent Domains for Unsupervised Domain Adaptation Through Consistency 1-gen-2019 Mancini, Massimiliano; Porzi, Lorenzo; Cermelli, Fabio; Caputo, Barbara
Distributed Cloud Intelligence: Implementing An ETSI MANO-Compliant Predictive Cloud Bursting Solution using Openstack and Kubernetes 1-gen-2020 Faticanti, Francescomaria; Zormpas, Jason; Drozdov, Sergey; Rausch, Kewin; Avila García, Orlando; Sardis, Fragkiskos; Cretti, Silvio; Amiribesheli, Mohsen; Siracusa, Domenico
Distributed Data Exchange with Leap Motion 1-gen-2018 Pani, Mirko; Poiesi, Fabio
Distributed Service Co-evolution Based on Domain Objects 1-gen-2015 De Sanctis, Martina; Geihs, Kurt; Bucchiarone, Antonio; Valetto, Giuseppe; Marconi, Annapaola; Pistore, Marco
Effective Brain Connectivity Through a Constrained Autoregressive Model 1-gen-2016 Crimi, Alessandro; Dodero, Luca; Murino, Vittorio; Sona, Diego
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 1-gen-2022 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin
Efficient SMT-Based Analysis of Failure Propagation 1-gen-2021 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
End-to-End Protection of IoT Communications Through Cryptographic Enforcement of Access Control Policies 1-gen-2022 Berlato, Stefano; Morelli, Umberto; Carbone, Roberto; Ranise, Silvio
Energy-Aware Gas Sensing Using Wireless Sensor Networks 1-gen-2012 Somov, Andrey; Baranov, Alexander; Savkin, Alexey; Ivanov, Mikhail; Calliari, Lucia; Passerone, Roberto; Karpov, Evgeny; Suchkov, Alexey
Enriching a Small Artwork Collection Through Semantic Linking 1-gen-2016 Dragoni, Mauro; Cabrio, Elena; Tonelli, Sara; Villata, Serena
Enroll, and Authentication Will Follow 1-gen-2020 Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro
EVA: a Tool for the Compositional Verification of AUTOSAR Models 1-gen-2023 Cimatti, Alessandro; Cristoforetti, Luca; Griggio, Alberto; Tonetta, Stefano; Corfini, Sara; Di Natale, Marco; Barrau, Florian
Evaluating wiki-enhanced ontology authoring 1-gen-2012 Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco
Experience Probes: Immersion and Reflection Between Reality and Virtuality 1-gen-2017 Willis, Max; De Angeli, Antonella; Zancanaro, Massimo
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 1-gen-2018 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Mostrati risultati da 41 a 60 di 186
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