1683 search results - page 158 / 337 » Testing system virtual machines |
134
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Ninety million Americans have inadequate health literacy, resulting in a reduced ability to read and follow directions in the healthcare environment. We describe an animated, empa...
140
click to vote
NOSSDAV
2005
Springer
15 years 10 months ago
2005
Springer
An improved prototype of the “voiscape” voice communication medium has been developed and subjectively evaluated. Voiscape enables natural and seamless voice communication by ...
136
click to vote
VRML
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we present a VRML97-X3D extension to describe precomputed visibility relationships in the context of progressive transmission as well as real time visualization of m...
157
Voted
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
122
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...