Sciweavers

1315 search results - page 166 / 263
» Usability of dial-a-ride systems
Sort
View
CHI
2005
ACM
16 years 6 months ago
Building security and trust in online banking
Growing threats to online banking security (e.g. phishing, personal identify fraud) and the personal nature of the data make the balance between security, trust and usability vita...
Maria Nilsson, Anne Adams, Simon Herd
CHI
2004
ACM
16 years 6 months ago
iVo: interactive voting for the Olympics
This paper describes the creation of an interactive audience voting system, iVo. The device is intended for diving and gymnastics events during the 2004 Summer Olympics in Athens,...
Steve Aboud, Michael Albers, Tyler Nemes
CADE
2008
Springer
16 years 6 months ago
Certifying a Tree Automata Completion Checker
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
Benoît Boyer, Thomas Genet, Thomas P. Jensen
OSDI
2008
ACM
16 years 6 months ago
Everest: Scaling Down Peak Loads Through I/O Off-Loading
Bursts in data center workloads are a real problem for storage subsystems. Data volumes can experience peak I/O request rates that are over an order of magnitude higher than avera...
Dushyanth Narayanan, Austin Donnelly, Eno Thereska...
SIGMOD
2004
ACM
111views Database» more  SIGMOD 2004»
16 years 6 months ago
Spatial, Temporal and Spatio-Temporal Databases - Hot Issues and Directions for PhD Research
Spatial and temporal database systems, both in theory and in practice, have developed dramatically over the past two decades to the point where usable commercial systems, underpin...
John F. Roddick, Max J. Egenhofer, Erik G. Hoel, D...