Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices.
Salvatore GaglioGiuseppe Lo ReGloria MartorellaDaniele PeriPublished in: Sensors (2021)
Keyphrases
- resource constrained
- embedded devices
- embedded systems
- natural language
- security mechanisms
- resource constraints
- wireless sensor networks
- sensor networks
- mobile devices
- key management
- low cost
- model checking
- databases
- artificial intelligence
- multipath
- security protocols
- rfid tags
- frequent patterns
- software engineering
- case study
- limited memory