CAV
2012
Springer
11 years 9 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
CAV
2012
Springer
11 years 9 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
CAV
2012
Springer
11 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
TEI
2012
ACM
12 years 2 months ago
2012
ACM
In this paper we present the interactive video installation titled “The Garden of Time”: a tangible interface designed specifically to emphasize the conceptual nature of the p...
TEI
2012
ACM
12 years 2 months ago
2012
ACM
This document presents a discussion about the Avaya S8300 and S8500 Media Server configured as a Local Survivable Processor (LSP). This discussion is intended to describe how the ...
TEI
2012
ACM
12 years 2 months ago
2012
ACM
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...
TEI
2012
ACM
12 years 2 months ago
2012
ACM
TEI
2012
ACM
12 years 2 months ago
2012
ACM
Graspable tangibles are now being explored on the current generation of capacitive touch surfaces, such as the iPad and the Android tablet. Because the size and form factor is rel...
TEI
2012
ACM
12 years 2 months ago
2012
ACM
Existing 3D sketching methods typically allow the user to draw in empty space which is imprecise and lacks tactile feedback. We introduce a shape-stamping interface where users ca...
TEI
2012
ACM
12 years 2 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...