Sciweavers

13791 search results - page 220 / 2759
» Modeling Web Interactions
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Ensuring Properties of Interaction Systems
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
Gregor Gößler, Susanne Graf, Mila E. Ma...
ICIA
2007
15 years 8 months ago
Why and How to Model Multi-Modal Interaction for a Mobile Robot Companion
Verbal and non-verbal interaction capabilities for robots are often studied isolated from each other in current research trend because they largely contribute to different aspects...
Shuyin Li, Britta Wrede
SWAP
2007
15 years 7 months ago
Links and Cycles of Web Databases
This paper proposes a novel framework for composing web databases. Web databases are assumed to have explicit descriptions of I/O attributes and are considered as components of fun...
Masao Mori, Tetsuya Nakatoh, Sachio Hirokawa
HCI
2009
15 years 4 months ago
On the Gap between Automated and In-Vivo Evaluations of Web Accessibility
In this paper we present an accessibility analysis framework for the specification of Web accessibility evaluation scenarios that differentiates the requirements of users with disa...
Rui Lopes, Luís Carriço
ICFP
2005
ACM
16 years 6 months ago
Continuations from generalized stack inspection
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
Greg Pettyjohn, John Clements, Joe Marshall, Shrir...