Sciweavers

5787 search results - page 561 / 1158
» Generic User Modeling Systems
Sort
View
217
Voted
FM
2006
Springer
153views Formal Methods» more  FM 2006»
15 years 10 months ago
Formal Methods and Cryptography
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
Michael Backes, Birgit Pfitzmann, Michael Waidner
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
16 years 20 days ago
Integrating Tactile and Force Feedback with Finite Element Models
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...
Christopher R. Wagner, Douglas P. Perrin, Ross L. ...
CHI
2005
ACM
15 years 9 months ago
Using an interaction model as a resource for communication in design
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...
Maíra Greco de Paula, Bruno Santana da Silv...
WWW
2008
ACM
16 years 7 months ago
Learning transportation mode from raw gps data for geographic applications on the web
Geographic information has spawned many novel Web applications where global positioning system (GPS) plays important roles in bridging the applications and end users. Learning kno...
Yu Zheng, Like Liu, Longhao Wang, Xing Xie
SOUPS
2005
ACM
16 years 19 days ago
The battle against phishing: Dynamic Security Skins
Phishing is a model problem for illustrating usability concerns of privacy and security because both system designers and attackers battle using user interfaces to guide (or misgu...
Rachna Dhamija, J. Doug Tygar