3937 search results - page 471 / 788 » Questioning Ubiquitous Computing |
235
click to vote
ESOP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
165
click to vote
LOCA
2005
Springer
16 years 4 days ago
2005
Springer
The aim of COMPASS (short for COM mon Positioning Architecture for Several Sensors) is to realize a location infrastructure which can make use of a multitude of different sensors,...
162
click to vote
DOCENG
2004
ACM
16 years 2 days ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
199
click to vote
WS
2003
ACM
15 years 12 months ago
2003
ACM
The vision of nomadic computing with its ubiquitous access has stimulated much interest in the Mobile Ad Hoc Networking (MANET) technology. However, its proliferation strongly dep...
176
click to vote
ICMI
2003
Springer
15 years 12 months ago
2003
Springer
Gesture recognition is becoming a more common interaction tool in the fields of ubiquitous and wearable computing. Designing a system to perform gesture recognition, however, can...