The use of simulation for a pedagogical purpose is very interesting. One of the essential repercussions of the construction of a pedagogical simulator is the perennisation of the ā...
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
Enterprise search is challenging for several reasons, notably the dynamic terminology and jargon that are speciļ¬c to the enterprise domain. This challenge is partly addressed by...
Microsoft has proposed an identity metasystem to standardize identity services and the principles behind them. A location metasystem can support interoperation between location se...
This article introduces an approach to adaptive wayfinding support for lifelong learners based on self-organisation theory. It describes an architecture which supports the recordin...