1956 search results - page 138 / 392 » A Critical View of Context |
171
Voted
JAR
2006
15 years 7 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...
164
Voted
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...
187
click to vote
CHI
2004
ACM
16 years 7 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...
177
click to vote
VAST
2004
ACM
2004
ACM
A Point-Based Approach for Capture, Display and Illustration of Very Complex Archeological Artefacts
16 years 12 days 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...
142
Voted
ITRUST
2004
Springer
16 years 10 days 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...