High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan V...
In this paper, we present Fly, a prototype presentation system that adds a visual structure to presentations. Current presentation software, like PowerPoint, structure slides in a...
David Holman, Predrag Stojadinovic, Thorsten Karre...
The LiveSync interaction metaphor allows an efficient and nonintrusive integration of 2D and 3D visualizations in medical workstations. This is achieved by synchronizing the 2D sl...
Peter Kohlmann, Stefan Bruckner, Armin Kanitsar, E...
In recent years, substantial progress has been achieved in the area of volume visualization on irregular grids, which is mainly based on tetrahedral meshes. Even moderately fine t...
We present a strategy for analyzing large, social small-world graphs, such as those formed by human networks. Our approach brings together ideas from a number of different resear...