Sciweavers

4508 search results - page 292 / 902
» Design of human-map system interaction
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 2 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
COMCOM
2002
120views more  COMCOM 2002»
15 years 6 months ago
An interactive video delivery and caching system using video summarization
With the advance of high-speed network technologies, the availability and popularity of streaming media content over the Internet has grown rapidly in recent years. The delivery a...
Sung-Ju Lee, Wei-Ying Ma, Bo Shen
DSN
2006
IEEE
16 years 23 days ago
Designing dependable storage solutions for shared application environments
The costs of data loss and unavailability can be large, so businesses use many data protection techniques, such as remote mirroring, snapshots and backups, to guard against failur...
Shravan Gaonkar, Kimberly Keeton, Arif Merchant, W...
CHI
2007
ACM
16 years 7 months ago
Vio: a mixed-initiative approach to learning and automating procedural update tasks
Today many workers spend too much of their time translating their co-workers' requests into structures that information systems can understand. This paper presents the novel ...
John Zimmerman, Anthony Tomasic, Isaac Simmons, Ia...
162
Voted
PERSUASIVE
2007
Springer
16 years 25 days ago
Distributed User Experience in Persuasive Technology Environments
An increasing number of persuasive technology systems consist of multiple devices that enable efficient just-in-time interaction with the user. Developing multi-device systems to s...
Katarina Segerståhl, Harri Oinas-Kukkonen