Filter
Spezifikation und Verifikation eines "Separation of Duty"-Szenarios als verbindliche Telekooperation im Sinne des Gleichgewichtsmodells
Stefanie FoxEntwurf und Implementierung effizienter Objektsysteme für funktionale und imperative Programmiersprachen am Beispiel von Lisp
Harry BretthauerPopulationsbasierte Wettbewerbsmodelle zur Strategieanpassung in evolutionären Algorithmen
Dirk Schlierkamp-VoosenSpezifikation und Implementierung eines Streaming-Servers für multimediale Archivinhalte
Heike FischerVerhaltensorientierte generische Hardwarebeschreibung statistischer Modelle - Markov random fields - für Low-level-Bildverarbeitungsprobleme
Stephan C. StilkerichEntwurf und Implementierung einer VR-Komponenten-Architektur für visuelle Multiuser-Anwendungen
Joachim NelzSicherheitsanalyse von Authentifizierungsprotokollen - model checking mit dem SH-verification Tool
Gülüm BasakMehrgitterverfahren für die zwei- und dreidimensionale Poissongleichung mit periodischen Randbedingungen und eine Anwendung in der Molekulardynamik
Tanja CleesPopulationsbasierte Optimierung durch das Lernen von Interaktionen mit Bayes'schen Netzen
Thilo MahnigEntwurf und Implementierung eines VPS-gestützten verteilten Systems zur automatischen Aufnahme von A-V-Material
Jens MuussEin Modell für die Qualität räumlicher Daten zur Bewertung der photogrammetrischen Gebäudeerfassung
Lemonia RagiaGanzzahlig lineare Programmierung bei der globalen Verdrahtung integrierter Schaltkreise
Martin LügeringProceedings of the ECSCW '95 Workshop on the Role of Version Control in CSCW Applications
David Hicks
Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming
Ulrich GeskeSupporting continuous media communications and applications by exploiting their special characteristics
Changpeng Fan