Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
The assessment of aircraft noise is becoming an increasingly important task in ensuring sustainable airport development. Aircraft noise is influenced by many complex factors and tr...
The e-learning project GOLEM introduces a group and role-oriented concept to the course "Man-Machine Interfaces" at the University of Technology in Hamburg, Germany. Stu...
While the dynamic linking mechanism of modern programming languages, such as Java, allows loading of classes dynamically, it does not allow class reloading. Hence, dynamic linking...
Currently, there is no standard instrument for evaluating learning effectiveness. While final examinations and end-of-semester course evaluation surveys can be used to do this, th...