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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...