Analysing timed properties of ad hoc network protocols via model checking

Analysing timed properties of ad hoc network protocols via model checking

Bibliographic Details
Main Author:	Chiyangwa, Sibusisiwe
Published:	University of Birmingham 2005
Subjects:	004.62
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423368

Similar Items

An investigation into transport protocols and data transport applications over high performance networks
by: Li, Yee-Ting
Published: (2006)

A strategic analysis of multi-agent protocols
by: Otterloo, Sieuwert Maarten van
Published: (2005)

SNAP-based grid resource broker using the three phase commit protocol
by: Haji, Mohammed Hassan Abdulla
Published: (2005)

A framework for authoring databases based on the WebDAV protocol : WebDAD
by: Shadgar, Bita
Published: (2003)

Performance characterisation of IP networks
by: Ghita, Bogdan Vladimir
Published: (2004)

An interoperability architecture for wireless networked appliances
by: Abuelma'atti, Omar
Published: (2006)

Optimisation of Bluetooth wireless personal area networks
by: Robinson, Craig
Published: (2004)

Resource optimisation for robust IP networking provisioning
by: Amin, Mina
Published: (2008)

An investigation into the use of middleware for the management of telecommunication and computer networks
by: Gu, Q.
Published: (2005)

Policy-based quality of service management in IP networks
by: Flegkas, Parisis
Published: (2005)

Wireless personal area networks and free-space optical links
by: Huang, Pi
Published: (2006)

Session establishment over an IP-based satellite UMTS network
by: Kueh, Victor Yong Hwa
Published: (2004)

Handover issues in DVB-H and in converged DVB-H/UMTS networks
by: Yang, Xiaodong
Published: (2005)

Discrete value-based bandwith provisioning & routing complexity in IP networks
by: Michalareas, Theodoros
Published: (2003)

End-to-end delay analysis for small/medium scale IP networks
by: Stewart, Robert
Published: (2003)

Dynamic bandwidth provisioning in multi-layer optical networks for heterogeneous services
by: Murali, Aarthi
Published: (2012)

Towards efficient polling strategies for monitoring management information in TCP/IP networks
by: Albahanta, Ahmed S. F.
Published: (2006)

Architectures for supporting Internet mobility beyond third generation mobile access networks
by: Barry, Mudar A. O.
Published: (2004)

Fair and efficient resource allocation strategies in multi-application networks using utility functions
by: Salles, Ronaldo Moreira
Published: (2004)

New Bluetooth scatternet concept
by: Lafon, Christophe
Published: (2005)

A high-performance, efficient, and reliable receiver for Bluetooth signals
by: Tibenderana, Charles
Published: (2005)

Requirements-driven adaptation of choreographed interactions
by: Mahfouz, Ayman
Published: (2012)

Simulation and algorithm design of robust coding for a DVB-S based multimedia wireless system
by: Kuan Heng, Lee
Published: (2007)

An investigation of the nominal group effect in computer mediated collaborative recall
by: Hinds, Joanne
Published: (2010)

Approaches for the digital profiling of activities and their applications in design information push
by: Campbell, Duncan Russell
Published: (2007)

Δομημένη δρομολόγηση σε ασύρματα ad hoc δίκτυα
by: Λιβαθινός, Νικόλαος
Published: (2009)

Routage géographique dans les réseaux de capteurs et d’actionneurs
by: Gouvy, Nicolas
Published: (2013)

Enhancing OSPF to provide adaptive traffic distribution with networks for improved QoS performance
by: Mohamed Tasir, Abdul Rahman
Published: (2007)

Πρωτόκολλα συμφωνίας κλειδιού μεταξύ σταθμών σε ad-hoc ασύρματα δίκτυα
by: Βήχου, Χριστίνα
Published: (2013)

Μελέτη πρωτοκόλλου IPFIX και προσομοίωσή του με τη χρήση OPNET
by: Δάβρη, Ελένη-Κωνσταντίνα
Published: (2010)

Ανάλυση λειτουργιών πρωτοκόλλου ΜΙΜΕ για τη διαχείριση ομάδων συζητήσεων (forums) και ηλεκτρονικού ταχυδρομείου (e-mail) σε ιστοσελίδες δικτυακού τόπου
by: Κόκκαλης, Χρήστος
Published: (2008)

Μεθοδολογίες χαμηλής κατανάλωσης ενέργειας για ασύρματες εφαρμογές πολυμέσων
by: Ζέρβας, Νικόλαος
Published: (2007)

Υλοποίηση της υπηρεσίας διαλειτουργικότητας μεταξύ τεχνικών circuit cross connect & any transfer over MPLS.
by: Τάσσης, Κωνσταντίνος
Published: (2007)

Internet congestion control for variable-rate TCP traffic
by: Biswas, Md. Israfil
Published: (2011)

Ανάλυση και ανάπτυξη δικτύου υπολογιστών σε διάταξη βρόχου με κατανεμημένο έλεγχο επικοινωνίας
by: Αγγελόπουλος, Σ. Κ.
Published: (2009)

Σχεδίαση και ανάλυση ενός ενισχυμένου πρωτοκόλλου συνδέσεων με συνολική προσέγγιση ως προς την ποιότητα υπηρεσίας για εφαρμογές πολυμέσων
by: Κανελλόπουλος, Δημήτριος
Published: (2009)

Σχεδίαση και ανάπτυξη ενός νέου πρωτοκόλλου για την υποστήριξη επικοινωνίας πολυμέσων στο επίπεδο εφαρμογής OSI
by: Ορφανός, Γεώργιος
Published: (2009)

Μελέτη παροχής υπηρεσιών σε ενοποιημένα L2 και MPLS δίκτυα
by: Πουλόπουλος, Λεωνίδας
Published: (2011)

Αυτοματοποιημένη διαχείριση υπηρεσιών quality of service
by: Πρίμπας, Δημήτριος
Published: (2008)

Αξιολόγηση του πρωτοκόλλου επιπέδου μεταφοράς TCP σε τοπικό δίκτυο τύπου Ethernet για εφαρμογές πραγματικού χρόνου
by: Κοτσιώλης, Απόστολος
Published: (2009)