Search
Now showing items 1-10 of 11
UML-based Test Specification for Communication Systems
(2004-10-28)
Die Komplexität moderner, verteilter Kommunikationssysteme hat sich erheblich gesteigert und die Notwendigkeit gründlichen und systematischen Testens ist unbestritten. Die TTCN-3 ist eine ...
UML Profile for Communicating Systems
(2007-04-24)
Die vorliegende Dissertation beschreibt ein neues Unified Modeling Language 2 (UML) Profil für kommunizierende Systeme. Es ermöglicht die eindeutige und ausführbare Spezifikation und ...
A Fine-Grain Scalable and Channel-Adaptive Hybrid Speech Coding Scheme for Voice over Wireless IP
(2006-12-13)
Wireless LANs (WLANs) finden immer mehr Verbreitung. Mittlerweile gelten sie als Schlüsselelement in dynamischen Unternehmensumgebungen, wo permanenter Netzwerkzugang unabdingbar ist. Wenn ...
Processing and Extending Flow-Based Network Traffic Measurements
(2009-07-07)
Mit dem zunehmenden Einsatz von Internet und IP Netzwerken für kritische Anwendungen wird die Netzwerküberwachung immer wichtiger. Flow-Profiling ist die zur Zeit am häufigsten eingesetzte ...
Algorithms and Data Structures for Parametric Analysis of Real-Time Systems
(2009-06-17)
Dieses Dokument ist ein Beitrag auf dem Gebiet der Validierung und Verifizierung der Kommunikation in Echtzeit-Systemen, mit Schwerpunkt auf parametrische Erreichbarkeit Analyse der Systeme ...
Informatik für Alle - wie viel Programmierung braucht der Mensch?
(2009-11-23)
In dieser Arbeit wird ein didaktischer Rahmen aufgezeigt, der inhaltlich und methodisch gefüllt wird und in dem ein Einstieg in die Programmierung für alle Schülerinnen und Schüler der ...
Exploiting Network Coding in Lossy Wireless Networks
(2009-06-08)
Benutzer sind für Geschäfts- und Unterhaltungsanwendungen zunehmend abhängig von Wireless LANs (WLANs). Es ist bekannt, dass drahtlose Verbindungen anfällig für Fehler sind und erneute ...
Firewall Traversal in Mobile IPv6 Networks
(2008-11-26)
Middleboxes, wie zum Beispiel Firewalls, sind ein wichtiger Aspekt für eine Großzahl moderner IP-Netzwerke. Heute IP-Netzwerke basieren überwiegend auf IPv4 Technologien, daher sind viele ...
The Inter-Domain Key Exchange Protocol
(2006-02-27)
Diese Dissertation beschreibt und evaluiert ein neuartiges Schlüsselaustauschverfahren namens IDKE (Inter-Domain Key Exchange Protocol), um nahtlose Handover in IP-basierten Netzwerken zu ...
Automatic Test Generation Based on Formal Specifications
(2003-11-04)
Um die Interoperabilität von verteilten, heterogenen Telekommunikationssystemen sicherzustellen, definieren Organisationen wie das European Telecommunications Standards Institute international ...