2814 search results - page 42 / 563 » Can We Make Operating Systems Reliable and Secure |
150
click to vote
SOSP
2001
ACM
16 years 1 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
136
click to vote
ENTCS
2002
15 years 4 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
127
click to vote
SRDS
2008
IEEE
15 years 10 months ago
2008
IEEE
A new generation of distributed systems and applications rely on the cooperation of diverse user populations motivated by self-interest. While they can utilize “reputation syste...
173
click to vote
WSC
2007
15 years 6 months ago
2007
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
156
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Evolutionary Algorithms (EAs) have been largely applied to optimisation and synthesis of controllers. In spite of several successful applications and competitive solutions, the st...