Förderverein Technische Fakultät

Abstract: Die Methode des “Lazy Thinking” dient zur systematischen Synthese von Algorithmen aus Problemspezifikationen. Die Methode kann sowohl als heuristisch / pädagogisches Werkzeug für den Prozess der Synthese korrekter Algorithmen dienen als auch zur vollständig automatischen Generierung von Algorithmen, wenn für Teilschritte der Methode automatische Beweiser für die entsprechenden Objekttheorien zur Verfügung stehen. Im Vortrag [...]

In dieser Woche und in der kommenden Woche finden insgesamt fünf TEWI-Kolloquien statt, die Sie nicht verpassen sollten: Mittwoch, 4. Mai, 14 Uhr, E.1.41: Betriebssystem-Abstraktionen für Sicherheitspolitiken, Prof. Winfried Kühnhauser, TU Ilmenau, Germany Mittwoch, 4. Mai, 18 Uhr, HS C: Schlüsselaspekte des Keymanagements, Peter Schartner Donnerstag, 5. Mai, 15 Uhr, L.4.1.01 (Lakeside): 25 Jahre Digital Subscriber Line (DSL-)Übertragungstechnik: Zur Entwicklung [...]

The talk addresses recent research and the state-of-the practices related to the field of 3D computer graphics and virtual reality. First, the talk introduces the main tasks of 3D computer graphics and virtual reality. Then it introduces two problem fields and discusses their solutions. The first problem field is called “Overlaying with polygon meshes”. It [...]

Abstract: Wer die Arbeitsweise von IT-Teams verbessern möchte und nicht gleich eine unternehmensweite Revolution starten will, wie es von vielen agilen Methoden wie z.B. Scrum gefordert wird, findet in Software-Kanban eine sehr gute Alternative. Kanban-Teams verfolgen den Kaizen-Gedanken, in dem sie permanent kleine Verbesserungen Ihrer Arbeitsweise vornehmen. Ausgangspunkt dieser Verbesserungen ist immer die gegenwärtige Situation [...]

IT-Systeme mit hohen Sicherheitsanforderungen verwenden in zunehmenden Maße Sicherheitspolitiken zur Beschreibung, Analyse und Implementierung ihrer Sicherheitseigenschaften. Zur präzisen Spezifikation von Sicherheitspolitiken werden Sicherheitsmodelle eingesetzt, die dann eine formale Analyse der Sicherheitseigenschaften ermöglichen, und aus denen dann Politikimplementierungen generiert werden können. Konventionelle Betriebssysteme setzen dieser Technologie enge Grenzen. Vielmehr sind hierzu neue Betriebssystemabstraktionen und Sicherheitsarchitekturen erforderlich, [...]

Abstract: Das Jahr 1986 markiert den Beginn der DSL-Übertragungstechnik, zum einen durch die Einführung von ISDN, zum anderen durch einen ersten experimentellen Leistungsvergleich von Versuchssystemen für die Übertragung von 2,048 Mbit/s über symmetrische Zweidrahtleitungen im Ortsanschlußleitungsnetz beim Forschungs-institut der Deutschen Bundespost. Das damals erfolgreiche System (2B1Q mit Noise Prediction) stellt die Grundlage für DSL-Verfahren, die [...]