Sfoglia per Titolo
A Model-based Security Toolkit for the Internet of Things
2014-01-01 Neisse, Ricardo; Nai Fovino, Igor; Baldini, Gianmarco; Vera, Stavroulaki; Panagiotis, Vlacheas; Giaffreda, Raffaele
Model-Checking Driven Security Testing of Web-Based Applications
2010-01-01 Armando, Alessandro; Carbone, Roberto; L., Compagna; L., Keqin; G., Pellegrino
Model-checking memory requirements of resource-bounded reasoners
2006-01-01 Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano
A Model-Driven Approach Towards Automatic Migration to Microservices
2020-01-01 Bucchiarone, Antonio; Soysal, Kemal; Guidi, Claudio
A Model-Driven Solution to Support Smart Mobility Planning
2018-01-01 Bucchiarone, Antonio; Cicchetti, Antonio
Model-independent search for the presence of new physics in events including H → γγ with √s = 13 TeV pp data recorded by the ATLAS detector at the LHC
2023-01-01 Atlas, Collaboration; Di Luca, A; Cristoforetti, M.
Modeling a population of retinal ganglion cells with restricted Boltzmann machines
2020-01-01 Volpi, Riccardo; Zanotto, Matteo; Maccione, Alessandro; Di Marco, Stefano; Berdondini, Luca; Sona, Diego; Murino, Vittorio
Modeling a Thick Hydrogenated Amorphous Silicon Substrate for Ionizing Radiation Detectors
2020-01-01 Davis, Jeremy Alexander; Boscardin, Maurizio; Crivellari, Michele; Fanò, Livio; Large, Matthew; Menichelli, Mauro; Morozzi, Arianna; Moscatelli, Francesco; Movileanu-Ionica, Maria; Passeri, Daniele; Petasecca, Marco; Piccini, Mauro; Rossi, Alessandro; Scorzoni, Andrea; Thompson, Bailey; Verzellesi, Giovanni; Wyrsch, Nicolas
Modeling and Analysis of Laws using BPR and Goal-oriented framework
2010-01-01 Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Susi, Angelo; Siena, Alberto
Modeling and Analysis of Procedural Security
2008-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences
2008-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Modeling and characterization of a circular-shaped energy scavenger in MEMS surface micromachining technology
2011-01-01 Solazzi, Francesco; Iannacci, Jacopo; Faes, Alessandro; Giacomozzi, Flavio; Margesin, Benno; A., Tazzoli; G., Meneghesso
Modeling and Characterization of Antireflection Coatings with Embedded Silver Nanoparticles for Silicon Solar Cells
2015-01-01 Antonino Calà, Lesina; Paternoster, Giovanni; Mattedi, Francesca; Ferrario, Lorenza; Pierre, Berini; Lora, Ramunno; Paris, Alessio; Vaccari, Alessandro; Calliari, Lucia
Modeling and Characterization of the Dynamic Behavior of RF MEM Switches
2009-01-01 P. T., Savadkoohi; Margesin, Benno
Modeling and Control of IRST MEMS microphone
2006-01-01 Cattin, Davide; Faes, Alessandro; Margesin, Benno; Oboe, Roberto
Modeling and fast simulation of RF-MEMS switches within standard IC design framework
2010-01-01 M., Niessner; G., Schrag; G., Wachtuka; Iannacci, Jacopo
Modeling and Monitoring Business Process Execution
2013-01-01 Bertoli, Piergiorgio; Dragoni, Mauro; Ghidini, Chiara; Martufi, E.; Nori, Michele; Pistore, Marco; Di Francescomarino, Chiara
Modeling and Monitoring Processes Exploiting Semantic Reasoning
2014-01-01 Dragoni, Mauro; Bertoli, Piergiorgio; Di Francescomarino, Chiara; Ghidini, Chiara; Nori, Michele; Pistore, Marco; Tiella, Roberto; Corcoglioniti, Francesco
Modeling and optimization od piezoelectric micropumps for biomedical applications
2004-01-01 Morganti, Elisa; G. U., Pignatel; M., Petasecca; I., Fuduli
Modeling and Optimization of the Timing Resolution of Digital SiPM PET Detectors
2014-01-01 L. H. C., Braga; Gasparini, Leonardo; Stoppa, David
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Model-based Security Toolkit for the Internet of Things | 1-gen-2014 | Neisse, Ricardo; Nai Fovino, Igor; Baldini, Gianmarco; Vera, Stavroulaki; Panagiotis, Vlacheas; Giaffreda, Raffaele | |
Model-Checking Driven Security Testing of Web-Based Applications | 1-gen-2010 | Armando, Alessandro; Carbone, Roberto; L., Compagna; L., Keqin; G., Pellegrino | |
Model-checking memory requirements of resource-bounded reasoners | 1-gen-2006 | Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano | |
A Model-Driven Approach Towards Automatic Migration to Microservices | 1-gen-2020 | Bucchiarone, Antonio; Soysal, Kemal; Guidi, Claudio | |
A Model-Driven Solution to Support Smart Mobility Planning | 1-gen-2018 | Bucchiarone, Antonio; Cicchetti, Antonio | |
Model-independent search for the presence of new physics in events including H → γγ with √s = 13 TeV pp data recorded by the ATLAS detector at the LHC | 1-gen-2023 | Atlas, Collaboration; Di Luca, A; Cristoforetti, M. | |
Modeling a population of retinal ganglion cells with restricted Boltzmann machines | 1-gen-2020 | Volpi, Riccardo; Zanotto, Matteo; Maccione, Alessandro; Di Marco, Stefano; Berdondini, Luca; Sona, Diego; Murino, Vittorio | |
Modeling a Thick Hydrogenated Amorphous Silicon Substrate for Ionizing Radiation Detectors | 1-gen-2020 | Davis, Jeremy Alexander; Boscardin, Maurizio; Crivellari, Michele; Fanò, Livio; Large, Matthew; Menichelli, Mauro; Morozzi, Arianna; Moscatelli, Francesco; Movileanu-Ionica, Maria; Passeri, Daniele; Petasecca, Marco; Piccini, Mauro; Rossi, Alessandro; Scorzoni, Andrea; Thompson, Bailey; Verzellesi, Giovanni; Wyrsch, Nicolas | |
Modeling and Analysis of Laws using BPR and Goal-oriented framework | 1-gen-2010 | Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Susi, Angelo; Siena, Alberto | |
Modeling and Analysis of Procedural Security | 1-gen-2008 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences | 1-gen-2008 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
Modeling and characterization of a circular-shaped energy scavenger in MEMS surface micromachining technology | 1-gen-2011 | Solazzi, Francesco; Iannacci, Jacopo; Faes, Alessandro; Giacomozzi, Flavio; Margesin, Benno; A., Tazzoli; G., Meneghesso | |
Modeling and Characterization of Antireflection Coatings with Embedded Silver Nanoparticles for Silicon Solar Cells | 1-gen-2015 | Antonino Calà, Lesina; Paternoster, Giovanni; Mattedi, Francesca; Ferrario, Lorenza; Pierre, Berini; Lora, Ramunno; Paris, Alessio; Vaccari, Alessandro; Calliari, Lucia | |
Modeling and Characterization of the Dynamic Behavior of RF MEM Switches | 1-gen-2009 | P. T., Savadkoohi; Margesin, Benno | |
Modeling and Control of IRST MEMS microphone | 1-gen-2006 | Cattin, Davide; Faes, Alessandro; Margesin, Benno; Oboe, Roberto | |
Modeling and fast simulation of RF-MEMS switches within standard IC design framework | 1-gen-2010 | M., Niessner; G., Schrag; G., Wachtuka; Iannacci, Jacopo | |
Modeling and Monitoring Business Process Execution | 1-gen-2013 | Bertoli, Piergiorgio; Dragoni, Mauro; Ghidini, Chiara; Martufi, E.; Nori, Michele; Pistore, Marco; Di Francescomarino, Chiara | |
Modeling and Monitoring Processes Exploiting Semantic Reasoning | 1-gen-2014 | Dragoni, Mauro; Bertoli, Piergiorgio; Di Francescomarino, Chiara; Ghidini, Chiara; Nori, Michele; Pistore, Marco; Tiella, Roberto; Corcoglioniti, Francesco | |
Modeling and optimization od piezoelectric micropumps for biomedical applications | 1-gen-2004 | Morganti, Elisa; G. U., Pignatel; M., Petasecca; I., Fuduli | |
Modeling and Optimization of the Timing Resolution of Digital SiPM PET Detectors | 1-gen-2014 | L. H. C., Braga; Gasparini, Leonardo; Stoppa, David |
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