Abstract

We study the modelling of {\\em mobile hosts} on a network in a simple name-passing process calculus, with the intention of being able to prove properties about a protocol for supporting mobility. Our model may be considered a highly simplified version of proposals for {\\em mobility [...]

Abstract

The expectations of every user of today’s internet is becoming relatively high more especially as the internet applications are becoming steadily sensitive to time and delays. The critical nature of some of these applications is more apparent now that they are real-time. These pose [...]

Abstract

We present the TOTEM open source Traffic Engineering (TE) toolbox and a set of TE methods that we have designed and/or integrated. These methods cover intra-domain and inter-domain TE, IP-based and MPLS-based TE. They are suitable for network optimisation, better routing of traffic [...]