Sciweavers

1683 search results - page 55 / 337
» Testing system virtual machines
Sort
View
EDUTAINMENT
2007
Springer
14 years 4 months ago
Usability Test of Immersion for Augmented Reality Based Product Design
In this paper, we evaluate the usability of multimodal feedback for enhancing immersion in augmented reality (AR) based product design environments, introduced in the paper [1]. We...
Taejin Ha, Yoonje Chang, Woontack Woo
SFP
2003
14 years 1 days ago
O'Camelot: adding objects to a resource-aware functional language
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
Nicholas Wolverson, Kenneth MacKenzie
ASE
2006
123views more  ASE 2006»
13 years 10 months ago
Separating sequence overlap for automated test sequence generation
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
Robert M. Hierons
SOSP
2007
ACM
14 years 7 months ago
Secure virtual architecture: a safe execution environment for commodity operating systems
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
John Criswell, Andrew Lenharth, Dinakar Dhurjati, ...
ACSAC
2010
IEEE
13 years 8 months ago
A framework for testing hardware-software security architectures
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
Jeffrey S. Dwoskin, Mahadevan Gomathisankaran, Yu-...