We present a new tactile display for rendering rotational friction at the fingertips. To inform the design and control of this device, we have conducted an initial set of percept...
William R. Provancher, Brandt D. Erickson, Federic...
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moo...
This paper discusses the Betty’s Brain system and our ongoing work on developing a suite of tools that assist students and teachers in classroom learning in science domains. We ...
John Wagster, Henry Kwong, Gautam Biswas, Daniel S...
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...