2030 search results - page 54 / 406 » The Need for Customizable Operating Systems |
137
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Very large scale networks such as the Internet require a new operational model to use resources efficiently and reduce the need for the administration necessary in clientserver n...
142
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
128
click to vote
ATC
2006
Springer
15 years 8 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
121
click to vote
AVI
2000
15 years 5 months ago
2000
In various circumstances, it is possible to arrive at the need to specify sequences of operations that a "machine" has to perform to achieve a purpose. This paper will p...
145
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...