Millstream Systems - a Formal Model for Linking Language Modules by Interfaces.

Suna Bensch Frank Drewes

Published in: ATANLP@ACL 2010 (2010)

Keyphrases

formal model
security patterns
predicate calculus
computer systems
probabilistic knowledge
security properties
expert systems
description logics
intelligent systems
building blocks
complex systems
network security
formal languages
human machine interface