Sciweavers

3251 search results - page 439 / 651
» Dynamic User Modeling for Sketch-Based User Interface
Sort
View
GRAPHICSINTERFACE
2008
15 years 4 months ago
Towards a model human cochlea: sensory substitution for crossmodal audio-tactile displays
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 ...
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 3 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
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...
Bernhard K. Aichernig, Reinhold Kainhofer
TACAS
2005
Springer
121views Algorithms» more  TACAS 2005»
15 years 8 months ago
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
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...
122
Voted
GRID
2004
Springer
15 years 8 months ago
Walden: A Scalable Solution for Grid Account Management
— 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...
WSC
1997
15 years 4 months ago
Simulation Using GPSS/H
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...
Robert C. Crain