In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...
Advanced manufacturing control still remains an important topic in current research. Especially aspects of dynamics and of failures in the production process are insufficiently ta...