Sciweavers

12478 search results - page 377 / 2496
» Secure Interaction Design
Sort
View
PERCOM
2004
ACM
16 years 5 months ago
Towards Context-aware Security: An Authorization Architecture for Intranet Environments
This paper introduces a context-aware authorization architecture that is designed to augment existing network security protocols in an Intranet environment. It describes the archi...
Chris Wullems, Mark Looi, Andrew Clark
CCS
2010
ACM
15 years 6 months ago
Security analysis of India's electronic voting machines
Elections in India are conducted almost exclusively using electronic voting machines developed over the past two decades by a pair of government-owned companies. These devices, kn...
Scott Wolchok, Eric Wustrow, J. Alex Halderman, Ha...
NIME
2001
Springer
150views Music» more  NIME 2001»
15 years 10 months ago
Input Devices for Musical Expression: Borrowing Tools from HCI
This paper reviews the existing literature on input device evaluation and design in human-computer interaction (HCI) and discusses possible applications of this knowledge to the d...
Nicola Orio, Norbert Schnell, Marcelo M. Wanderley
CADE
2004
Springer
16 years 6 months ago
Experiments on Supporting Interactive Proof Using Resolution
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
Jia Meng, Lawrence C. Paulson
ICALT
2005
IEEE
15 years 12 months ago
Interactivities in Music Intelligent Tutoring System
We report our work in progress in the area of music intelligent tutoring systems (MITS). We discuss the motivation behind the design of GUI that aim to support an interactive lear...
Somnuk Phon-Amnuaisuk, Keh-Siong Chee