Sfoglia per Autore
Development of an IoT Environmental Monitoring Application with a Novel Middleware for Resource Constrained Devices
2014-01-01 Gaglio, S; Lo Re, G; Martorella, G; Peri, D; Vassallo, S D
Hardware and Software Platforms for Distributed Computing on Resource Constrained Devices
2014-01-01 Martorella, G; Peri, D; Toscano, E
A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks
2014-01-01 Gaglio, S; Lo Re, G; Martorella, G; Peri, D
An AMI System for User Daily Routine Recognition and Prediction
2014-01-01 Gaglio, S; Martorella, G
A Fast and Interactive Approach to Application Development on Wireless Sensor and Actuator Networks
2014-01-01 Gaglio, S; Lo Re, G; Martorella, G; Peri, D
Closing the sensing-reasoning-actuating loop in resource-constrained WSANs through distributed symbolic processing
2015-01-01 Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.; Vassallo, S.
Programming Distributed Applications with Symbolic Reasoning on WSNs
2015-01-01 Gaglio, S; Lo Re, G; Martorella, G; Peri, D;
High-level programming and symbolic reasoning on IoT resource constrained devices
2015-01-01 Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.
A symbolic distributed event detection scheme for Wireless Sensor Networks
2016-01-01 Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.
DC4CD: A Platform for Distributed Computing on Constrained Devices
2017-01-01 Gaglio, Salvatore; Lo Re, Giuseppe; Martorella, Gloria; Peri, Daniele
A middleware to develop and test vehicular sensor network applications
2019-01-01 Gaglio S.; Lo Re G.; Martorella G.; Peri D.
Interoperable real-time symbolic programming for smart environments
2019-01-01 Gaglio S.; Lo Re G.; Giuliana L.; Martorella G.; Montalto A.; Peri D.
A Rule-Based System for Hardware Configuration and Programming of IoT Devices
2019-01-01 Gaglio S.; Giuliana L.; Lo Re G.; Martorella G.; Montalto A.; Peri D.
A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices
2019-01-01 Gaglio, Salvatore; Re, Giuseppe Lo; Martorella, Gloria; Peri, Daniele
WSN Design and Verification Using On-Board Executable Specifications
2019-02-01 Gaglio, Salvatore; Re, Giuseppe Lo; Martorella, Gloria; Peri, Daniele*
Verification of Symbolic Distributed Protocols for Networked Embedded Devices
2020-01-01 Augello A.; D'Antoni R.; Gaglio S.; Lo Re G.; Martorella G.; Peri D.
On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices
2020-01-01 Bordonaro A.; Gaglio S.; Lo Re G.; Martorella G.; Peri D.
Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices
2021-01-01 Gaglio S.; Lo Re G.; Martorella G.; Peri D.
Symbolic Programming of Distributed Cyber-Physical Systems
Martorella, G.
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