2814 search results - page 44 / 563 » Can We Make Operating Systems Reliable and Secure |
149
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—To better support interactive applications, individual network operators are decreasing the timers that affect BGP convergence, leading to greater diversity in the timer setting...
189
click to vote
FUNGAMES
2010
15 years 5 months ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...
116
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
100
click to vote
CIDR
2009
15 years 5 months ago
2009
We introduce a world vision in which data is endowed with memory. In this data-centric systems paradigm, data items can be enabled to retain all or some of their previous values. ...
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...