4286 search results - page 415 / 858 » Formalizing Service Interactions |
156
click to vote
BCSHCI
2007
15 years 8 months ago
2007
This paper presents two empirical investigations of future applications of mobile spatial interaction, i.e. the use of mobile phones as pointers to the real world. In situated int...
185
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
This paper addresses the design and development of MediaPick [1], an interactive multi-touch system for semantic search of multimedia contents. Our solution provides an intuitive,...
154
click to vote
DSVIS
2003
Springer
15 years 12 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
176
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
194
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...