Sciweavers

6197 search results - page 1022 / 1240
» Sandbridge Software Tools
Sort
View
TEI
2010
ACM
157views Hardware» more  TEI 2010»
16 years 1 months ago
Relief: a scalable actuated shape display
Relief is an actuated tabletop display, which is able to render and animate three-dimensional shapes with a malleable surface. It allows users to experience and form digital model...
Daniel Leithinger, Hiroshi Ishii
TEI
2009
ACM
100views Hardware» more  TEI 2009»
16 years 1 months ago
Decoupling interaction hardware design using libraries of reusable electronics
This paper presents our research toward the design and development of a library of electronic hardware modules called Blades and Tiles. Interaction hardware design with blades and...
Rajesh Sankaran, Brygg Ullmer, Jagannathan Ramanuj...
ICALT
2009
IEEE
16 years 1 months ago
Collaboration Support in Argumentation Systems for Education via Flexible Architectures
While argumentation is highly important for humans in many different aspects of life, it is hard to teach large groups to argue. Classic face-to-face approaches, which have shown ...
Frank Loll, Niels Pinkwart
SADFE
2009
IEEE
16 years 1 months ago
Automating Disk Forensic Processing with SleuthKit, XML and Python
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...
Simson L. Garfinkel
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
« Prev « First page 1022 / 1240 Last » Next »