This research reports an ethnographic study of issues surrounding digital technologies owned and used by homeless people in Los Angeles County. We identify two themes—survival a...
Developments in higher education have driven interest in personalised education. Concomitant with these developments are the evolving capabilities of mobile technologies. Context ...
—Vehicular ad hoc networks (VANETs) are envisioned to provide promising applications and services. One critical deployment issue in VANETs is to motivate vehicles and their drive...
The power saving is one of the important issue in the embedded systems. To reduce the consumption of the microprocessor of such a system, a way is to power down it when it is inac...
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...