1956 search results - page 138 / 392 » A Critical View of Context |
157
click to vote
JAR
2006
15 years 6 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
151
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
This is a critical design paper offering a possible scenario of use intended to provoke reflection about values and politics of design in persuasive computing. We describe the des...
168
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Many studies have been conducted on supporting communication in home and office spaces, but relatively few studies have explored supporting communication in large-scale public spa...
162
click to vote
VAST
2004
ACM
2004
ACM
A Point-Based Approach for Capture, Display and Illustration of Very Complex Archeological Artefacts
15 years 11 months ago
In this paper we present a complete point-based pipeline for the capture, display and illustration of very large scans of archeological artifacts. This approach was developed as p...
130
click to vote
ITRUST
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the design of a new middleware which provides support for trust and accountability in distributed data sharing communities. One application is in the context of...