1683 search results - page 311 / 337 » Testing system virtual machines |
SEMCO
2007
IEEE
14 years 1 months ago
2007
IEEE
The proliferation of digital libraries and the large amount of existing documents raise important issues in efficient handling of documents. Printed texts in documents need to be...
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
HRI
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents results toward our ongoing research program into hands-off assistive human-robot interaction [6]. Our work has focused on applications of socially assistive r...
PODC
2005
ACM
14 years 28 days ago
2005
ACM
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...