1781 search results - page 235 / 357 » Visualizing program execution using user abstractions |
AMDO
2006
Springer
14 years 23 days ago
2006
Springer
Abstract. Perceptual user interfaces are becoming important nowadays, because they offer a more natural interaction with the computer via speech recognition, haptics, computer visi...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
ICALP
2000
Springer
14 years 18 days ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract Internet auction fraud has become prevalent. Methodologies for detecting fraudulent transactions use historical information about Internet auction participants to decide w...