New dynamic logic style for energy efficient tag comparators.
Mohammad AsyaeiPublished in: Microprocess. Microsystems (2022)
Keyphrases
- energy efficient
- dynamic logic
- wireless sensor networks
- energy consumption
- sensor networks
- energy efficiency
- propositional dynamic logic
- reasoning about actions
- data transmission
- base station
- imperative programs
- modal logic
- routing protocol
- data dissemination
- sensor nodes
- data streams
- data gathering
- artificial intelligence
- data sets
- routing algorithm
- modal operators