8731 search results - page 1538 / 1747 » Interaction design in the wild |
208
click to vote
CHARME
2003
Springer
16 years 14 days 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...
186
click to vote
CIKM
2003
Springer
16 years 14 days 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 ...
226
click to vote
DBISP2P
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. We are witnessing a dramatic increase in the use of datacentric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and various ...
185
click to vote
GPCE
2003
Springer
16 years 14 days ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
196
click to vote
HUC
2003
Springer
16 years 14 days 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...