3686 search results - page 294 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
160
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
172
click to vote
SRDS
2007
IEEE
16 years 27 days ago
2007
IEEE
Constructing logical machines out of collections of physical machines is a well-known technique for improving the robustness and fault tolerance of distributed systems. We present...
174
click to vote
ICMI
2005
Springer
16 years 4 days ago
2005
Springer
Untethered multimodal interfaces are more attractive than tethered ones because they are more natural and expressive for interaction. Such interfaces usually require robust vision...
185
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
168
click to vote
DEXA
2004
Springer
16 years 1 days ago
2004
Springer
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...