Browsing Fakultät für Mathematik und Informatik (inkl. GAUSS) by Advisor "Hogrefe, Dieter Prof. Dr."
Now showing items 21-28 of 28
-
Algorithms and Data Structures for Parametric Analysis of Real-Time Systems
(2009-06-17)This document is intended to contribute to the area of validation and verification of communicating real time systems, with emphasis put on parametric reachability analysis of systems modeled ... -
Firewall Traversal in Mobile IPv6 Networks
(2008-11-26)Middleboxes such as firewalls are an important aspect for a majority of IP networks today. Current IP networks are predominantly based on IPv4 technology, and hence various firewalls as ... -
IP Converged Heterogeneous Mobility in 4G networks - Network-side Handover Management Strategies
(2007-07-24)Envisioning a future where mobile terminals equipped with one or more network devices are able to roam across wireless or wired networks, in a diverse macro and micro wireless cells environment, requires the ... -
UML Profile for Communicating Systems
(2007-04-24)This thesis presents a new Unified Modeling Language 2 (UML) profile for communicating systems. It is developed for the unambiguous, executable specification and description of communication ... -
A Fine-Grain Scalable and Channel-Adaptive Hybrid Speech Coding Scheme for Voice over Wireless IP
(2006-12-13)Wireless LANs (WLANs) are being more and more widely deployed at present. They are a key element in dynamic business environments where permanent access to network resources is vital. They ... -
The Inter-Domain Key Exchange Protocol
(2006-02-27)This thesis introduces, specifies and evaluates a novel key establishment mechanism to enable seamless authenticated handovers in IP networks called Inter-Domain Key Exchange Protocol (IDKE). ... -
UML-based Test Specification for Communication Systems
(2004-10-28)Nowadays, the complexity of modern telecommunication systems has increased significantly and the requirement for thorough and systematic testing is undisputed. The TTCN-3 is an universal ... -
Automatic Test Generation Based on Formal Specifications
(2003-11-04)To ensure that distributed, heterogeneous telecommunication systems can interact with each other, organizations such as the European Telecommunications Standards Institute define internationally ...