Sciweavers

10454 search results - page 382 / 2091
» Modeling the Experience of Emotion
Sort
View
154
Voted
DATE
2003
IEEE
76views Hardware» more  DATE 2003»
16 years 4 days ago
Modeling Noise Transfer Characteristic of Dynamic Logic Gates
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...
Li Ding 0002, Pinaki Mazumder
HICSS
2003
IEEE
108views Biometrics» more  HICSS 2003»
16 years 4 days ago
A Model for Evaluating Potential WBE Innovations
Due to the constantly evolving nature of Web-based Education (WBE) it is often difficult for educators to understand the issues, challenges, impact, and effort required to introdu...
David Jones, Kieren Jamieson, Damien Clark
173
Voted
ICAT
2003
IEEE
16 years 4 days ago
Interaction Model between Elastic Objects for Accurate Haptic Display
The simulation of organ-organ interaction is indispensable for practical and advanced medical VR simulator such as open surgery and indirect palpation. This paper gives a method t...
Yoshihiro Kuroda, Megumi Nakao, Tomohiro Kuroda, H...
FM
2003
Springer
114views Formal Methods» more  FM 2003»
16 years 2 days ago
ProB: A Model Checker for B
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
Michael Leuschel, Michael J. Butler
GCC
2003
Springer
16 years 2 days ago
Study on a Secure Access Model for the Grid Catalogue
To solve the security of access to meta-data in computational Grids, by modifying model BLP, a secure access model named GBLP is introduced to support access control to Grid catalo...
Bing Xie, Xiaolin Gui, Qingjiang Wang