Sciweavers

39362 search results - page 7735 / 7873
» Global Computing Systems
Sort
View
IV
2007
IEEE
157views Visualization» more  IV 2007»
15 years 4 months ago
Haptic Gaze-Tracking Based Perception of Graphical User Interfaces
This paper presents a novel human-computer interface that enables the computer display to be perceived without any use of the eyes. Our system works by tracking the user’s head ...
Simon Meers, Koren Ward
KBSE
2007
IEEE
15 years 4 months ago
Tools for model-based security engineering: models vs. code
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Jan Jürjens, Yijun Yu
LICS
2007
IEEE
15 years 4 months ago
Game Relations and Metrics
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, ...
MICRO
2007
IEEE
150views Hardware» more  MICRO 2007»
15 years 4 months ago
Leveraging 3D Technology for Improved Reliability
Aggressive technology scaling over the years has helped improve processor performance but has caused a reduction in processor reliability. Shrinking transistor sizes and lower sup...
Niti Madan, Rajeev Balasubramonian
RTCSA
2007
IEEE
15 years 4 months ago
Scheduling Algorithms for I/O Blockings with a Multi-frame Task Model
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
Shan Ding, Hiroyuki Tomiyama, Hiroaki Takada
« Prev « First page 7735 / 7873 Last » Next »