9245 search results - page 186 / 1849 » Virtualization |
168
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
This paper describes the THOMAS framework, a useful framework for the development of virtual organizations, on the basis of a service-based approach. Categories and Subject Descri...
163
click to vote
CCR
2010
15 years 6 months ago
2010
Multi-core CPUs, along with recent advances in memory and buses, render commodity hardware a strong candidate for software router virtualization. In this context, we present the d...
156
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
129
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a virtual CAD system developed for clothing thermal functional design and simulation. It allows designers and engineers in virtual space to design and preview ...
182
click to vote
JMM2
2007
15 years 6 months ago
2007
— This thesis explores the creative possibilities and implications of Augmented Reality, not just as a specific technology of computer science, but as one of high technologies th...