Near-ubiquitous smart phones are the most promising heralds of future pervasive computing. However, despite their increasing capabilities in computation, communication, and sensin...
Digital identity management intra and inter information systems, and, service oriented architectures security, are the roots of identity federation. This kind of security architec...
Learner-centred design (LCD) is a nebulous concept. It can range from attempts to design with the needs of the learner at the forefront, to involving the learner at various stages ...
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
The World Wide Web has become the largest hypertext system in existence, providing an extremely rich collection of information resources. Compared with conventional information so...