8621 search results - page 1533 / 1725 » Design for interaction |
182
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
171
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
Searchers can have problems devising queries that accurately express their, often dynamic, information needs. In this paper we describe an adaptive approach that uses unobtrusive ...
168
click to vote
HUC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. One of the main prerequisites for location-based services is knowledge of location. We present a simple algorithm for computing the location of a device based on signal s...
182
click to vote
HUC
2003
Springer
15 years 11 months ago
2003
Springer
We propose audio networking: using ubiquitously available sound hardware (i.e. speakers, sound-cards and microphones) for lowbandwidth, wireless networking. A variety of location- ...
155
click to vote
HUC
2003
Springer
15 years 11 months ago
2003
Springer
With increased use of mobile information technology and increased amounts of information comes the need to simplify information presentation. This research considers whether low-in...