1683 search results - page 99 / 337 » Testing system virtual machines |
145
click to vote
EDUTAINMENT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we investigated the effects of guided and unguided style VR learning on user attention and retained knowledge. We conducted a study where users performed g...
141
Voted
PTS
2004
15 years 5 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
150
click to vote
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
145
click to vote
SOFSEM
2010
Springer
16 years 23 days ago
2010
Springer
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
131
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...