Implementing reactive closed-system specifications.

Harri Klapuri Jarmo Takala Jukka Saarinen

Published in: J. Netw. Comput. Appl. (2001)

Keyphrases

reactive systems
queueing networks
databases
information systems
evolutionary algorithm
agent architecture
delay insensitive
real world
machine learning
knowledge base
website
multiscale
efficient implementation
formal specification