Sciweavers

2317 search results - page 100 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
118
Voted
HF
2002
95views more  HF 2002»
15 years 3 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
127
Voted
WWW
2006
ACM
15 years 9 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
155
Voted
ENTER
2008
Springer
15 years 5 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,...
206
Voted
SIGMOD
2009
ACM
120views Database» more  SIGMOD 2009»
16 years 3 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
153
Voted
CHI
2009
ACM
16 years 4 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