2726 search results - page 447 / 546 » Application security support in the operating system kernel |
111
click to vote
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
117
click to vote
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
107
click to vote
HOTSWUP
2009
ACM
15 years 4 months ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
102
click to vote
ICAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— The scale, reliability, and cost requirements of enterprise data centers require automation of center management. Examples include provisioning, scheduling, capacity pl...
SIGMOD
2000
ACM
15 years 4 months ago
2000
ACM
This paper proposes a scheme for scheduling disk requests that takes advantage of the ability of high-level functions to operate directly at individual disk drives. We show that s...