Sciweavers

4190 search results - page 443 / 838
» Implementing commitment-based interactions
Sort
View
UIST
2010
ACM
15 years 2 months ago
A conversational interface to web automation
This paper presents CoCo, a system that automates web tasks on a user's behalf through an interactive conversational interface. Given a short command such as "get road c...
Tessa Lau, Julian A. Cerruti, Guillermo Manzato, M...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 2 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
GRAPHICSINTERFACE
2009
15 years 2 months ago
Separability of spatial manipulations in multi-touch interfaces
Multi-touch interfaces allow users to translate, rotate, and scale digital objects in a single interaction. However, this freedom represents a problem when users intend to perform...
Miguel A. Nacenta, Patrick Baudisch, Hrvoje Benko,...
HCI
2009
15 years 2 months ago
Mixing Content and Endless Collaboration - MashUps: Towards Future Personal Learning Environments
The recent movement by major Web services towards making many application programming interfaces (APIs) available for public use has led to the development of the new MashUp techno...
Andreas Auinger, Martin Ebner, Dietmar Nedbal, And...
HCI
2009
15 years 2 months ago
Modeling Human Actors in an Intelligent Automated Warehouse
Warehouse automation has progressed at a rapid pace over the last decade. While the tendency has been to implement fully automated solutions, most warehouses today exist as a mixtu...
Davy Preuveneers, Yolande Berbers