4460 search results - page 222 / 892 » Formal methods for interactive systems |
123
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
We present the uPen, a laser pointer combined with a contactpushed switch, three press buttons and a wireless communication module. This novel interaction device allows users to i...
152
click to vote
ARGMAS
2008
Springer
15 years 7 months ago
2008
Springer
Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time -- a...
153
Voted
MM
2004
ACM
15 years 10 months ago
2004
ACM
We present a novel method for interactive retrieval of 3D shapes using physical objects. Our method is based on simple physical 3D interaction with a set of tangible blocks. As th...
155
click to vote
EGPGV
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a new interactive parallel method for direct visualization of large particle datasets. Based on a parallel rendering cluster, a frame rate of 9 frames-per-seco...
166
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...