Sciweavers

9521 search results - page 1561 / 1905
» Compiling with continuations, continued
Sort
View
CAV
2011
Springer
216views Hardware» more  CAV 2011»
14 years 10 months ago
Malware Analysis with Tree Automata Inference
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
Domagoj Babic, Daniel Reynaud, Dawn Song
CHI
2011
ACM
14 years 10 months ago
MoBoogie: creative expression through whole body musical interaction
In this paper we describe MoBoogie, an application that allows users to manipulate and arrange music through movement. MoBoogie is designed to foster experiences in creative expre...
Megan K. Halpern, Jakob Tholander, Max Evjen, Stua...
CHI
2011
ACM
14 years 10 months ago
Rendering physical effects in tabletop controls
We introduce dynamic physical properties as an additional degree of freedom for passive tabletop controls. Using electromagnetic actuation, we manipulate attributes of tangibles o...
Malte Weiss, Christian Remy, Jan Borchers
CHI
2011
ACM
14 years 10 months ago
Deep shot: a framework for migrating tasks across devices using mobile phone cameras
A user task often spans multiple heterogeneous devices, e.g., working on a PC in the office and continuing the work on a laptop or a mobile phone while commuting on a shuttle. How...
Tsung-Hsiang Chang, Yang Li
CHI
2011
ACM
14 years 10 months ago
Brick by brick: iterating interventions to bridge the achievement gap with virtual peers
We lay out one strand of a continuing investigation into the development of a virtual peer to help children learn to use “school English” and “school-ratified science talk...
Emilee Rader, Margaret Echelbarger, Justine Cassel...
« Prev « First page 1561 / 1905 Last » Next »