2324 search results - page 346 / 465 » Specifying interaction surfaces using interaction maps |
179
click to vote
DSONLINE
2006
15 years 6 months ago
2006
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
198
click to vote
JACM
2002
15 years 6 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
158
click to vote
SEMWEB
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...
168
click to vote
ICRA
2008
IEEE
16 years 23 days ago
2008
IEEE
—The properties of dissipative haptic displays allow larger workspaces that permit a whole body interaction useful for sports, rehabilitation, and large-scale object design appli...
203
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
Exploratory search, in which a user investigates complex concepts, is cumbersome with today’s search engines. We present a new exploratory search approach that generates interac...