We present a Model Human Cochlea (MHC): a sensory substitution technique for creating a crossmodal audio-touch display. This research is aimed at designing a chair-based interface...
Maria Karam, Frank A. Russo, Carmen Branje, Emily ...
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
Curtis W. Keller, Diptikalyan Saha, Samik Basu, Sc...
— A large and diverse consortium of grid clusters, as can be found in a university setting, requires a flexible authorization model that is scalable, extensible and easy to admi...
Beth A. Kirschner, Thomas J. Hacker, William A. Ad...
GPSS/H is a tried-and-true simulation tool whose user base, both commercial and academic, continues to grow despite the presence of many “new” simulation technology trends. Th...