1156 search results - page 107 / 232 » Implications for design |
152
Voted
UIST
2005
ACM
16 years 15 days ago
2005
ACM
We present an evaluation of three mouse-based techniques for aligning digital images. We investigate the physical image alignment task and discuss the implications for interacting...
174
Voted
CAISE
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructur...
170
click to vote
ESOP
2005
Springer
16 years 14 days ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
203
Voted
SEM
2004
Springer
16 years 9 days ago
2004
Springer
Large-scale information processing applications must rapidly search through high volume streams of structured and unstructured textual data to locate useful information. Content-ba...
172
click to vote
DEXAW
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper examines a model of trusted computing wherein a computing platform is able to make assertions about its current software configuration that may be trusted by the user ...