Operating Systems Group Prof. Dr. M. Schöttner Building 25.12 Universitätsstraße 1 40225 Düsseldorf Secretary: Tel.: + 49 211 81 10591