2814 search results - page 64 / 563 » Can We Make Operating Systems Reliable and Secure |
162
click to vote
SIGOPS
2008
15 years 4 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
118
click to vote
CIDR
2007
15 years 6 months ago
2007
We argue that designing a system that “guarantees” the privacy of its information may not be enough. One must also consider the price for providing that protection: For exampl...
169
click to vote
CSREASAM
2006
15 years 5 months ago
2006
Apart from making the authentication system reliable, biometric systems reduce the time required for authentication considerably at the airports, borders, and government offices. ...
161
click to vote
MSN
2005
Springer
15 years 10 months ago
2005
Springer
Based on existing reliable broadcast protocols in MANETs, we propose a novel reliable broadcast protocol that uses clustering technique and gossip methodology. We combine local ret...
148
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...