Now showing items 71-80 of 86
Access control mechanism for mobile ad hoc network of networks.
(IEEE Computer Society, 2010-03)
Multi-agent based dynamic e-learning environment.
(IGI Global, 2009)
Refining interval temporal logic specifications
Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an executable subset of ITL, namely Tempura, was an important step in the use of temporal logic as ...
A comprehensive survey on vehicular Ad Hoc network
Vehicular ad hoc networks (VANETs) are classified as an application of mobile ad hoc network (MANET) that has the potential in improving road safety and in providing travellers comfort. Recently VANETs have emerged to turn ...
Using the Internet to enhance e-learning has become a trend in modern higher education institutes. E-learning systems are increasingly becoming an important part of the strategy for delivering online and flexible e-learning. ...