Sfoglia per Serie
Design for Adaptation of Service-Based Applications: Main Issues and Requirements
2009-01-01 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
2018-01-01 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca
Detecting Inappropriate Comments to News
2018-01-01 Bellan, Patrizio; Strapparava, Carlo
Discovering Latent Domains for Unsupervised Domain Adaptation Through Consistency
2019-01-01 Mancini, Massimiliano; Porzi, Lorenzo; Cermelli, Fabio; Caputo, Barbara
Distributed Cloud Intelligence: Implementing An ETSI MANO-Compliant Predictive Cloud Bursting Solution using Openstack and Kubernetes
2020-01-01 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
2018-01-01 Pani, Mirko; Poiesi, Fabio
Distributed Service Co-evolution Based on Domain Objects
2015-01-01 De Sanctis, Martina; Geihs, Kurt; Bucchiarone, Antonio; Valetto, Giuseppe; Marconi, Annapaola; Pistore, Marco
Effective Brain Connectivity Through a Constrained Autoregressive Model
2016-01-01 Crimi, Alessandro; Dodero, Luca; Murino, Vittorio; Sona, Diego
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin
Efficient SMT-Based Analysis of Failure Propagation
2021-01-01 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
2022-01-01 Berlato, Stefano; Morelli, Umberto; Carbone, Roberto; Ranise, Silvio
Energy-Aware Gas Sensing Using Wireless Sensor Networks
2012-01-01 Somov, Andrey; Baranov, Alexander; Savkin, Alexey; Ivanov, Mikhail; Calliari, Lucia; Passerone, Roberto; Karpov, Evgeny; Suchkov, Alexey
Enriching a Small Artwork Collection Through Semantic Linking
2016-01-01 Dragoni, Mauro; Cabrio, Elena; Tonelli, Sara; Villata, Serena
Enroll, and Authentication Will Follow
2020-01-01 Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro
EVA: a Tool for the Compositional Verification of AUTOSAR Models
2023-01-01 Cimatti, Alessandro; Cristoforetti, Luca; Griggio, Alberto; Tonetta, Stefano; Corfini, Sara; Di Natale, Marco; Barrau, Florian
Evaluating wiki-enhanced ontology authoring
2012-01-01 Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco
Experience Probes: Immersion and Reflection Between Reality and Virtuality
2017-01-01 Willis, Max; De Angeli, Antonella; Zancanaro, Massimo
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization
2018-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Exploiting Scene-Specific Features for Object Goal Navigation
2021-01-01 Campari, Tommaso; Eccher, Paolo; Serafini, Luciano; Ballan, Lamberto
An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring
2017-01-01 Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio Maria; Petrucci, Giulio; Yeshchenko, Anton
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Exploiting Scene-Specific Features for Object Goal Navigation | 1-gen-2021 | Campari, Tommaso; Eccher, Paolo; Serafini, Luciano; Ballan, Lamberto | |
An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring | 1-gen-2017 | Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio Maria; Petrucci, Giulio; Yeshchenko, Anton |
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