Sciweavers

6662 search results - page 332 / 1333
» Mobile and Ubiquitous Computing
Sort
View
PPOPP
2012
ACM
14 years 2 months ago
Wait-free linked-lists
The linked-list data structure is fundamental and ubiquitous. Lockfree versions of the linked-list are well known. However, the existence of a practical wait-free linked-list has ...
Shahar Timnat, Anastasia Braginsky, Alex Kogan, Er...
IWNAS
2006
IEEE
16 years 23 days ago
Mobility Control with Local Views of Neighborhood in Mobile Networks
Recent work in mobile ad hoc networks, simply MANETs, has drawn attention to the mobility capability of each node. In [5], it is proved that the optimal positions of the relay nod...
Zhen Jiang, Jie Wu, Robert Kline
173
Voted
SIGOPSE
2000
ACM
15 years 11 months ago
Gaia: enabling active spaces
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...
Manuel Román, Roy H. Campbell
CHI
1996
ACM
15 years 11 months ago
BrightBoard: A Video-Augmented Environment
The goal of `Computer Augmented Environments' is to bring computational power to everyday objects with which users are already familiar, so that the user interface to this co...
Quentin Stafford-Fraser, Peter Robinson
AINA
2009
IEEE
16 years 1 months ago
CCA: A Calculus of Context-Aware Ambients
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
François Siewe, Antonio Cau, Hussein Zedan