377 search results - page 54 / 76 » Operating system virtualization: practice and experience |
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
ISIPTA
2005
IEEE
14 years 3 months ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
JCIT
2010
13 years 4 months ago
2010
Watermark perceptibility and robustness must be ensured in order to enhance the practicality of digital watermarking. Taking human visual system characteristics into account fully...
AGILEDC
2007
IEEE
14 years 4 months ago
2007
IEEE
This report outlines the experiences of the Microsoft Visual Studio Tools for Office product unit (hereafter referred to as “product unit”) as it applied agile principles and ...
FAST
2007
13 years 11 months ago
2007
This paper presents the design, implementation, and evaluation of CATS, a network storage service with strong accountability properties. A CATS server annotates read and write res...