674 search results - page 6 / 135 » Toward Self-Stabilizing Operating Systems |
IGPL
2006
13 years 11 months ago
2006
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
ISEMANTICS
2010
13 years 9 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
SIGOPS
2010
13 years 5 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...
HICSS
1996
IEEE
14 years 3 months ago
1996
IEEE
: We have designed a Real-Time Co-Operating System (RTCOS) for simultaneously supporting real-time and non-real-time activities on a workstation with two or more processors. The RT...
TPHOL
2005
IEEE
14 years 4 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...