Filtern
Erscheinungsjahr
- 2007 (18) (entfernen)
Dokumenttyp
- Ausgabe (Heft) zu einer Zeitschrift (14)
- Diplomarbeit (2)
- Studienarbeit (2)
Schlagworte
- Bluetooth (2)
- Campus Information System (2)
- Equality (2)
- Knowledge Compilation (2)
- Theorem Proving (2)
- University (2)
- Augmented Reality (1)
- Automated Theorem Proving (1)
- Automated Theorem Proving Systems (1)
- Bayes Procedures (1)
- CTI -Problem (1)
- E-KRHyper (1)
- Enhanced Reality (1)
- Horn Clauses (1)
- Hyper Tableau Calculus (1)
- IASON (1)
- Konvergenz (1)
- MIA (1)
- MPEG-7 (1)
- Multi-robot System (1)
- Multiagent System (1)
- Netzwerkmanagment (1)
- Ontology (1)
- Personalised Information Systems (1)
- Petri Nets (1)
- Probability (1)
- Propagation (1)
- RDF Graphs (1)
- RIP-MTI (1)
- RIP-MTI Algorithmus (1)
- Resource Description Framework (RDF) (1)
- Routing (1)
- Routing information protocol (1)
- SNMP (1)
- Semantics (1)
- Stochastic Logic (1)
- Tableau Calculus (1)
- UML (1)
- Unified Modeling Language (UML ) (1)
- Web Ontology Language (OWL) (1)
- XTPeer (1)
- virtual network user mode linux (1)
Institut
- Institut für Informatik (18) (entfernen)
Diese Arbeit stellt ein Werkzeug zur Verfügung, das strukturierte Tests des RIP-MTI Algorithmus vereinfachen, beschleunigen und automatisieren kann. Die vormals zwei Dimensionen Topologie und Updatekonstellation, auf die die MTI-Erweiterung getestet werden musste, konnten auf den variablen Anteil der Topologie vereinfacht werden. Die zeitliche Reihenfolge des Auftretens der Updates kann zentral gesteuert werden. Bisher mussten Tests händisch und sehr aufwändig über Skripte auf der Konsole gesteuert werden. Die entwickelte Testumgebung "XTPeer" ermöglicht es, die gleichen und viele weitere Tests mit kleinem Aufwand durchzuführen.