457 search results - page 17 / 92 » Construction of a Highly Dependable Operating System |
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
As most computer systems are expected to remain operational 24 hours a day, 7 days a week, they must complete maintenance work while in operation. This work is in addition to the ...
ENTCS
2007
13 years 8 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
TSMC
2008
13 years 6 months ago
2008
This paper explores the issues faced in creating a sys-4 tem that can learn tactical human behavior merely by observing5 a human perform the behavior in a simulation. More specific...
SIGOPS
2010
13 years 3 months ago
2010
In order to be economically feasible and to offer high levels of availability and performance, large scale distributed systems depend on the automation of repair services. While t...
WSC
2008
13 years 10 months ago
2008
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...