Sciweavers

2317 search results - page 100 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
HF
2002
95views more  HF 2002»
13 years 8 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
WWW
2006
ACM
14 years 2 months ago
ASDL: a wide spectrum language for designing web services
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
Monika Solanki, Antonio Cau, Hussein Zedan
ENTER
2008
Springer
13 years 10 months ago
Adaptive Recommender Systems for Travel Planning
Conversational recommender systems have been introduced in Travel and Tourism applications in order to support interactive dialogues which assist users in acquiring their goals, e...
Tariq Mahmood, Francesco Ricci, Adriano Venturini,...
SIGMOD
2009
ACM
120views Database» more  SIGMOD 2009»
14 years 8 months ago
Query interactions in database workloads
Database workloads consist of mixes of queries that run concurrently and interact with each other. In this paper, we demonstrate that query interactions can have a significant imp...
Mumtaz Ahmad, Ashraf Aboulnaga, Shivnath Babu
CHI
2009
ACM
14 years 8 months ago
Designable visual markers
Visual markers are graphic symbols designed to be easily recognised by machines. They are traditionally used to track goods, but there is increasing interest in their application ...
Enrico Costanza, Jeffrey Huang