A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis.
Matias David LeePedro R. D'ArgenioPublished in: SCCC (2010)
Keyphrases
- turing machine
- automata theoretic
- user interface
- cellular automata
- multipath
- computational properties
- user friendly
- query answering
- finite state
- database
- friendly interface
- refinement process
- power line
- finite automata
- finite state machines
- description logics
- neural network
- finite state automata
- human computer interface
- novice users
- tree automata
- grammatical inference
- data sets