Colin Smythe

Learn More
In this paper we analyse the performance of Mobile IP (MIP) handoffs with respect to the three available MIP movement detection methods, namely Lazy Cell Switching, Prefix Matching and Eager Cell Switching. The network scenario considered involves single-agent subnetworks and Mobile Nodes that do not have the capability to contemporarily participate in(More)
This paper presents a survey of recent approaches in the application of the object-oriented paradigm to formal specification. The complexity of current information systems demands the use of a higher degree of formalism in the development process. Formal languages such as Z, VDM and Lotos have been used extensively in academic environments and research(More)
  • 1