We briefly introduce the online learning environment INFACT, and then we describe its textual feedback system. The system automatically provides written comments to students as the...
The switch from the Command-and-Control to Learning Organisation paradigm in the area of organisational theory is well understood. It is less well appreciated that learning organi...
Abstract. There is much interest in using the Unified Modeling Language (UML) for architectural description – those techniques by which architects sketch, capture, model, docume...
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....