Skladem 0 titulů
Supporting continuous media communications and applications by exploiting their special characteristics
Changpeng Fan
Specification and implementation of an enhanced RTP translator with dynamic configuration features
Mathias KretschmerAnalyse kryptographischer Protokolle mittels Produktnetzen basierend auf Modellannahmen der BAN-Logik
Carsten Rudolph
Ein objektorientiertes Interaktionsmodell zur Unterstützung verteilter virtueller Umgebungen
Wolfgang BrollImplementing support for software processes in a process centered software engineering environment
Hans-Ulrich KobialkaA new algorithmic approach to the construction of multiple alignments and evolutionary trees
Benno SchwikowskiOptimal quality of service under dynamic resource constraints in distributed multimedia database systems
Heiko ThimmEntwurf und Implementierung eines generischen Mechanismus zur dynamischen Einbettung multimedialer Daten in VRML-Szenen auf der Basis eines objektrelationalen DBMS
Ulrich MüllerSpezifikation 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-VoosenDynamically adaptive multigrid on parallel computers for a semi-implicit discretization of the shallow water equations
Reinhold HessSpezifikation und Implementierung eines Streaming-Servers für multimediale Archivinhalte
Heike FischerMultipoint data communication with active network elements in heterogeneous communication environments
Karl JonasVerhaltensorientierte 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 Basak