571 search results - page 35 / 115 » A principled approach to operating system construction in Ha... |
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
129
click to vote
DIS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Fuel feeding and inhomogeneity of fuel typically cause process fluctuations in the circulating fluidized bed (CFB) boilers. If control systems fail to compensate the ï¬...
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
180
click to vote
SIGMOD
2005
ACM
16 years 1 months ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
153
click to vote
SDB
1995
15 years 4 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...