Validating Real-Time Constraints in Heterogeneous Multiprocessor and Distributed Systems
An Automated Document Filing System
Managing Knowledge for an Intelligent Document Processing System