This paper proposes a distance-and-direction-based location management scheme with a nonisotropic mobility model to capture the directional movement o...

Web masters usually place certain web pages such as home pages and index pages in front of others. Under such a design, it is necessary to go through...

The testing of a state-based system may involve the application of a number of adaptive test cases. Where the implementation under test (IUT) is deter...

Interactivity in the transport protocol can greatly benefit transport friendly applications generating streaming traffic. Recently we have developed i...

We consider the derivation of a protocol specification from a service specification written in Predicate/Transition-nets (Pr/T-nets). The service spec...