Verification of XTP Context Management Closing Procedure in Style of TLA.

Tatjana Kapus Zmago Brezocnik

Published in: Sci. Comput. Program. (1997)

Keyphrases

knowledge management
context aware
contextual information
knowledge retrieval
management system
data processing
decision support
context sensitive
information systems
data management
temporal logic
project management