2496 search results - page 408 / 500 » Error-detecting properties of languages |
114
click to vote
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
114
click to vote
ISMAR
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper describes an augmented reality (AR) multimodal interface that uses speech and paddle gestures for interaction. The application allows users to intuitively arrange virtu...
122
click to vote
KBSE
2006
IEEE
15 years 7 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
139
click to vote
MTV
2006
IEEE
15 years 7 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
117
click to vote
RTAS
2006
IEEE
15 years 7 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...