Search
Now showing items 3801-3810 of 4210
OpLog: a library for scaling update-heavy data structures
(2014-09-16)
Existing techniques (e.g., RCU) can achieve good multi-core scaling for read-mostly data, but for update-heavy data structures only special-purpose techniques exist. This paper presents OpLog, a general-purpose library ...
Constraint Generation for the Jeeves Privacy Language
(2014-10-01)
Our goal is to present a completed, semantic formalization of the Jeeves privacy language evaluation engine, based on the original Jeeves constraint semantics defined by Yang et al at POPL12, but sufficiently strong to ...
An Analyst's Assistant for the Interpretation of Vehicle Track Data
(2014-10-08)
This report describes the Analyst's Assistant, a software system for language-interactive, collaborative user-system interpretation of events, specifically targeting vehicle events that can be recognized on the basis of ...
Towards an interactive mobile lecturing model a higher-level engagement for enhancing learning
(2013)
The use of mobile devices has grown in recent years and has overtaken the proliferation of desktop computers with their dual affordances of small size and easy connectivity in diverse fields. The usage of these devices has ...
Developing locally relevant applications for rural South Africa : a telemedicine example
(2005)
Within developing countries, there is a digital divide between rural and urban areas. In order to overcome this division, we need to provide locally relevant Information and Communication Technology (ICT) services to these ...
Telecommuting in the developing world: a case of the day-labour market
(2012)
Information and Communication Technologies (ICTs) in general, and mobile phones in particular, have demonstrated positive outcomes in the various social transformation and human development dimensions. As a result, many ...
Digital reconstruction of District Six architecture from archival photographs
(2007)
In this thesis we present a strategy for reconstructing instances of District Six Architecture from small sets of old. uncalibrated photographs that are located in the District Six Museum photographic archive. Our ...
A methodology for analyzing power consumption in wireless communication systems
(2004)
Engergy usage has become an important issue in wireless communication systems. The energy-intensive nature of wireless communication has spurred concern over how best systems can make the most use of this non-renewable ...
Symbolic techniques for the performance analysis of generalised stochastic petri nets
(2001)
Binary Decision Diagrams (BDDs) have been successfully used in sequential circuit theory, VLSI, and model checking. They form a highly memory efficient canonical representation of a Boolean function. In this dissertation, ...
Presence and co-presence in collaborative virtual environments
(2001)
Presence in Collaborative Virtual Environments (CVEs) can be defined into personal presence and co-presence. Personal presence is having a feeling of "being there" in the CVE yourself. Co-presence is having a feeling that ...