Sciweavers

3865 search results - page 481 / 773
» From Bidirectionality to Alternation
Sort
View
CGI
2003
IEEE
16 years 1 days ago
Immersive Vehicle Simulators for Prototyping, Training and Ergonomics
In most vehicle simulators, complete physical mockups equipped with steering wheel, gearshift and pedals are required. These devices are essential in trying to simulate real condi...
Marcelo Kallmann, Patrick Lemoine, Daniel Thalmann...
CSFW
2003
IEEE
16 years 23 hour ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
DSN
2003
IEEE
16 years 21 hour ago
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberd...
DSN
2003
IEEE
16 years 21 hour ago
ICR: In-Cache Replication for Enhancing Data Cache Reliability
Processor caches already play a critical role in the performance of today’s computer systems. At the same time, the data integrity of words coming out of the caches can have ser...
Wei Zhang 0002, Sudhanva Gurumurthi, Mahmut T. Kan...
HICSS
2003
IEEE
156views Biometrics» more  HICSS 2003»
16 years 19 hour ago
Developing Video Services for Mobile Users
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
Mohamed Ahmed, Roger Impey, Ahmed Karmouch