2814 search results - page 24 / 563 » Can We Make Operating Systems Reliable and Secure |
MICRO
1999
IEEE
13 years 11 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
HT
2003
ACM
14 years 14 hour ago
2003
ACM
We present Storm, a storage system which unifies the desktop and the public network, making Web links between desktop documents more practical. Storm assigns each document a perm...
SIGSOFT
2002
ACM
14 years 7 months ago
2002
ACM
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
CPA
1995
13 years 10 months ago
1995
Much of the debate on cryptography has assumed that the real tension is between the state’s desire for effective policing and the privacy of the individual. We argue that this i...
SAFECOMP
2009
Springer
14 years 1 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...