Sciweavers

1882 search results - page 118 / 377
» A User Interaction Model for NFC Enabled Applications
Sort
View
HF
2002
95views more  HF 2002»
15 years 4 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
ACMDIS
2010
ACM
15 years 4 months ago
The CLOTHO project: predicting application utility
When using the computer, each user has some notion that "these applications are important" at a given point in time. We term this subset of applications that the user va...
Joshua M. Hailpern, Nicholas Jitkoff, Joseph Subid...
ICWE
2009
Springer
15 years 11 months ago
Patterns for the Model-Based Development of RIAs
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...
Nora Koch, Matthias Pigerl, Gefei Zhang, Tatiana M...
IWCC
1999
IEEE
15 years 8 months ago
Optimizing User-Level Communication Patterns on the Fujitsu AP3000
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
Jeremy E. Dawson, Peter E. Strazdins
JBCS
2002
94views more  JBCS 2002»
15 years 4 months ago
Optimistic Replication in Pharos, a Collaborative Application on the Web
Pharos is a collaborative application which enables users to share document annotations. Annotations of a same subject are stored altogether in channels, and channels are replicat...
Esther Pacitti, Olivier Dedieu