503 search results - page 92 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
107
click to vote
DDEP
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Our component-based parametrisable font system is a newly developed font description and reproduction technology. It incorporates for each basic character shape a softwar...
HPCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Computer systems increasingly rely on dynamic, phasebased system management techniques, in which system hardware and software parameters may be altered or tuned at runtime for dif...
SP
2006
IEEE
15 years 3 months ago
2006
IEEE
The Web browser has become the dominant interface to a broad range of applications, including online banking, Web-based email, digital media delivery, gaming, and ecommerce servic...
104
click to vote
MM
2004
ACM
15 years 3 months ago
2004
ACM
Most current image retrieval systems and commercial search engines use mainly text annotations to index and retrieve WWW images. This research explores the use of machine learning...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Server virtualization more readily enables the collocation of disparate workloads on a shared physical platform. When employed on systems across a data center, the result can be a...