Sciweavers

2214 search results - page 92 / 443
» Initial Design of the
Sort
View
HAPTICS
2007
IEEE
14 years 3 months ago
Tactile Perception of Rotational Sliding
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...
ACSAC
2005
IEEE
14 years 2 months ago
Looking Back at the Bell-La Padula Model
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...
David Elliott Bell
ASPDAC
2006
ACM
100views Hardware» more  ASPDAC 2006»
14 years 3 months ago
Generation of shorter sequences for high resolution error diagnosis using sequential SAT
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...
ICALT
2008
IEEE
14 years 3 months ago
Bringing CBLEs into Classrooms: Experiences with the Betty's Brain System
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...
IFIP
1992
Springer
14 years 1 months ago
Information Technology Security Evaluation Criteria (ITSEC) - a Contribution to Vulnerability?
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...
Michael Gehrke, Andreas Pfitzmann, Kai Rannenberg