Semantics for Interactive Sequential Systems and Non-Interference Properties.

Matias David Lee Pedro R. D'Argenio

Published in: CLEI Electron. J. (2011)

Keyphrases

management system
artificial intelligence
intelligent systems
multipath
data sets
information retrieval
expert systems
learning systems
computer graphics
web environment
genetic algorithm
social networks
multimedia
user friendly
active rules
dynamic aspects