Sciweavers

377 search results - page 4 / 76
» Operating system virtualization: practice and experience
Sort
View
EDUTAINMENT
2006
Springer
14 years 1 months ago
Designing Social Navigation for a Virtual Community of Practice
Abstract. Social navigation in a community of practice (CoP) is an approach of locating information through increased social awareness. Designing support for social navigation requ...
Wen Xu, Karel Kreijns, Jun Hu
SIGCSE
2012
ACM
284views Education» more  SIGCSE 2012»
12 years 5 months ago
Teaching operating systems using android
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
Jeremy Andrus, Jason Nieh
HOTOS
2009
IEEE
14 years 1 months ago
Migration without Virtualization
Migrating a live, running operating system from one machine to another has proven to be an invaluable tool over the past few years. Today, however, the only way to migrate an OS i...
Michael A. Kozuch, Michael Kaminsky, Michael P. Ry...
HOTOS
2007
IEEE
14 years 1 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
PRESENCE
2008
185views more  PRESENCE 2008»
13 years 9 months ago
Pilot Evaluation Study of a Virtual Paracentesis Simulator for Skill Training and Assessment: The Beneficial Effect of Haptic Di
Effective, real-time training of health care professionals in invasive procedures is a challenging task. Furthermore, assessing in practice the acquisition of the dexterity and sk...
Costas S. Tzafestas, Kostas Birbas, Yiannis Koumpo...