4999 search results - page 950 / 1000 » User Interaction in the BANKS System |
CCS
2004
ACM
15 years 1 months ago
2004
ACM
Magnetic stripe cards are in common use for electronic payments and cash withdrawal. Reported incidents document that criminals easily pickpocket cards or skim them by swiping the...
ASM
2010
ASM
15 years 1 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
VISSYM
2007
15 years 4 days ago
2007
For displaying a dense graph, an adjacency matrix is superior than a node-link diagram because it is more compact and free of visual clutter. A node-link diagram, however, is far ...
WSC
2007
15 years 2 days ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
ASSETS
2008
ACM
2008
ACM
Refreshable tactile graphics applied to schoolbook illustrations for students with visual impairment
14 years 11 months ago
This article presents research on making schoolbook illustrations accessible for students with visual impairment. The MaskGen system was developed to interactively transpose illus...