Sciweavers

1284 search results - page 66 / 257
» On Helping and Interactive Proof Systems
Sort
View
SIMVIS
2007
13 years 11 months ago
Development of a Mixed Reality Device for Interactive On-Site Geo-visualization
This paper reports on the development of a novel mixed reality I/O device tailored to the requirements of interaction with geo-spatial data in the immediate environment of the use...
Volker Paelke, Claus Brenner
AVI
2004
13 years 11 months ago
Painting pictures to augment advice
I present an approach to designing decision support systems. The approach is to dissect a decision from both a normative and a cognitive perspective, and then to design a diagram ...
Kevin Burns
USS
2008
14 years 9 days ago
VoteBox: A Tamper-evident, Verifiable Electronic Voting System
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
Daniel Sandler, Kyle Derr, Dan S. Wallach
HVC
2007
Springer
153views Hardware» more  HVC 2007»
14 years 1 months ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
ACMDIS
2006
ACM
14 years 4 months ago
Designing interfaces to enrich personalization
Peripheral awareness systems offer significant promise to help people to manage the abundance of information available to them without placing significant additional demands on ...
James R. Eagan