A formal model for specification and optimization of flexible communication systems.

Jiong Ou Muhammad Farooq Jan Haase Christoph Grimm

Published in: AHS (2010)

Keyphrases

formal model
communication systems
information processing systems
computer systems
blind equalization
multiple access
optimization problems
optimization algorithm
formal models
security properties
channel estimation
underwater acoustic
predicate calculus
database
communication technologies
lightweight