Martorella, Gloria

Martorella, Gloria  

Innovazione Industriale e Digitale (DIID) - Ingegneria Chimica, Gestionale, Informatica, Meccanica (attivo dal 01/11/2010 al 31/12/2018)  

Mostra records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.066 secondi).
Data di pubblicazione Titolo Autori Tipologia Autore(i) File
1-gen-2014 A Fast and Interactive Approach to Application Development on Wireless Sensor and Actuator Networks GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele 10 - Proceedings::Proceedings Gaglio, S; Lo Re, G; Martorella, G; Peri, D
1-gen-2014 A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele 01 - Contributo in rivista::1.01 Articolo in rivista Gaglio, S; Lo Re, G; Martorella, G; Peri, D
1-gen-2019 A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices Gaglio, SalvatoreRe, Giuseppe LoMartorella, GloriaPeri, Daniele 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Gaglio, Salvatore; Re, Giuseppe Lo; Martorella, Gloria; Peri, Daniele
1-gen-2019 A middleware to develop and test vehicular sensor network applications Gaglio S.Lo Re G.Martorella G.Peri D. 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Gaglio S.; Lo Re G.; Martorella G.; Peri D.
1-gen-2019 A Rule-Based System for Hardware Configuration and Programming of IoT Devices Gaglio S.Lo Re G.Martorella G.Peri D. + 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Gaglio S.; Giuliana L.; Lo Re G.; Martorella G.; Montalto A.; Peri D.
1-gen-2016 A symbolic distributed event detection scheme for Wireless Sensor Networks GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.
1-gen-2014 An AMI System for User Daily Routine Recognition and Prediction GAGLIO, SalvatoreMartorella, Gloria 02 - Contributo in volume::2.01 Capitolo o Saggio Gaglio, S; Martorella, G
1-gen-2015 Closing the sensing-reasoning-actuating loop in resource-constrained WSANs through distributed symbolic processing GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, DanieleVASSALLO, Salvatore Davide 10 - Proceedings::Proceedings Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.; Vassallo, S.
1-gen-2017 DC4CD: A Platform for Distributed Computing on Constrained Devices Gaglio, SalvatoreLo Re, GiuseppeMartorella, GloriaPeri, Daniele 01 - Contributo in rivista::1.01 Articolo in rivista Gaglio, Salvatore; Lo Re, Giuseppe; Martorella, Gloria; Peri, Daniele
1-gen-2014 Development of an IoT Environmental Monitoring Application with a Novel Middleware for Resource Constrained Devices GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, DanieleVASSALLO, Salvatore Davide 10 - Proceedings::Proceedings Gaglio, S; Lo Re, G; Martorella, G; Peri, D; Vassallo, S D
1-gen-2014 Hardware and Software Platforms for Distributed Computing on Resource Constrained Devices Martorella, GloriaPERI, DanieleTOSCANO, Elena 02 - Contributo in volume::2.01 Capitolo o Saggio Martorella, G; Peri, D; Toscano, E
1-gen-2015 High-level programming and symbolic reasoning on IoT resource constrained devices GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele 10 - Proceedings::Proceedings Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.
1-gen-2019 Interoperable real-time symbolic programming for smart environments Gaglio S.Lo Re G.Martorella G.Peri D. + 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Gaglio S.; Lo Re G.; Giuliana L.; Martorella G.; Montalto A.; Peri D.
1-gen-2021 Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices Gaglio S.Lo Re G.Martorella G.Peri D. 01 - Contributo in rivista::1.01 Articolo in rivista Gaglio S.; Lo Re G.; Martorella G.; Peri D.
1-gen-2020 On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices Bordonaro A.Gaglio S.Lo Re G.Martorella G.Peri D. 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Bordonaro A.; Gaglio S.; Lo Re G.; Martorella G.; Peri D.
1-gen-2015 Programming Distributed Applications with Symbolic Reasoning on WSNs GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele 10 - Proceedings::Proceedings Gaglio, S; Lo Re, G; Martorella, G; Peri, D;
- Symbolic Programming of Distributed Cyber-Physical Systems Martorella, Gloria 04 - Tesi di dottorato::4.2 Tesi di dottorato Martorella, G.
1-gen-2020 Verification of Symbolic Distributed Protocols for Networked Embedded Devices Augello A.Gaglio S.Lo Re G.Martorella G.Peri D. + 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Augello A.; D'Antoni R.; Gaglio S.; Lo Re G.; Martorella G.; Peri D.
1-feb-2019 WSN Design and Verification Using On-Board Executable Specifications Gaglio, SalvatoreRe, Giuseppe LoMartorella, GloriaPeri, Daniele 01 - Contributo in rivista::1.01 Articolo in rivista Gaglio, Salvatore; Re, Giuseppe Lo; Martorella, Gloria; Peri, Daniele*