Sciweavers

805 search results - page 120 / 161
» Formal Analysis of Human-computer Interaction using Model-ch...
Sort
View
WWW
2010
ACM
15 years 10 months ago
Malicious interface design: exploiting the user
In an ideal world, interface design is the art and science of helping users accomplish tasks in a timely, efficient, and pleasurable manner. This paper studies the inverse situati...
Gregory J. Conti, Edward Sobiesk
AICT
2006
IEEE
210views Communications» more  AICT 2006»
15 years 9 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
COMPSAC
2002
IEEE
15 years 8 months ago
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
Robert John Walters
HUC
2004
Springer
15 years 8 months ago
The Carrot Approach: Encouraging Use of Location Systems
The Active Bat system provides the ability to locate users and equipment with a high degree of accuracy and coverage. Despite this, participation is low. We are concerned that this...
Kieran Mansley, Alastair R. Beresford, David Scott
ECCV
2008
Springer
16 years 5 months ago
Illumination and Person-Insensitive Head Pose Estimation Using Distance Metric Learning
Head pose estimation is an important task for many face analysis applications, such as face recognition systems and human computer interactions. In this paper we aim to address the...
Xianwang Wang, Xinyu Huang, Jizhou Gao, Ruigang Ya...