User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier.
Andrei LapetsPublished in: VERIFY@IJCAR (2010)
Keyphrases
- lightweight
- user friendly
- user friendly interface
- highly interactive
- software package
- user interface
- graphical interface
- graphical user interface
- senior citizens
- mathematical concepts
- wireless sensor networks
- communication infrastructure
- end users
- online databases
- command line
- development environments
- authentication protocol
- intrusion detection
- knowledge management