Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation.

Alfred Kölbl Carl Pixley

Published in: Int. J. Parallel Program. (2005)

Keyphrases

itemsets
high level
formal models
data structure
low level
low level features
higher level
rule based systems
neural network
wireless sensor networks
information retrieval
programming language
process model
cost effective
web services
formal model
learning algorithm
simulation environment
qualitative simulation