2324 search results - page 346 / 465 » Specifying interaction surfaces using interaction maps |
137
Voted
DSONLINE
2006
15 years 3 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...
156
Voted
JACM
2002
15 years 3 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: ...
125
Voted
SEMWEB
2009
Springer
15 years 10 months 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 ...
134
Voted
ICRA
2008
IEEE
15 years 10 months 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...
164
Voted
SIGIR
2012
ACM
13 years 6 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...