|
|
eCommons@Cornell >
Browsing by Author Schneider, Fred B.
Showing results 55 to 74 of 98
| Preview | Issue Date | Title | Author(s) | | Mar-1999 | NAP: Practical Fault-Tolerance for Itinerant Computations | Johansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii |
| Nov-1998 | NAP: Practical Fault-Tolerance for Itinerant Computations | Johansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii |
| Feb-1994 | A New Approach to Teaching Mathematics | Gries, David; Schneider, Fred B. |
| 14-Sep-2009 | Nexus Authorization Logic (NAL): Design Rationale and Applications | Schneider, Fred B.; Walsh, Kevin; Sirer, Emin Gun |
| Jan-1995 | Notes on Proof Outline Logic | Schneider, Fred B. |
| Mar-1979 | On Restrictions to Ensure Reproducible Behavior in Concurrent Programs | Schneider, Fred B.; Bernstein, A. J. |
| Dec-1994 | Operating System Support for Mobile Agents | Johansen, Dag; Van Renesse, Robbert; Schneider, Fred B. |
| Aug-1992 | Optimal Primary-Backup Protocols | Budhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam |
| Feb-1986 | A Paradigm for Reliable Clock Synchronization | Schneider, Fred B. |
| 16-Feb-2004 | Peer-to-Peer Authentication with a Distributed Single Sign-On Service | Josephson, William; Sirer, Emin Gun; Schneider, Fred B. |
| Jan-1980 | Personal Keys, Group Keys and Master Keys | Denning, Dorothy E.; Schneider, Fred B. |
| May-1989 | Pretending Atomicity | Lamport, Leslie; Schneider, Fred B. |
| Jan-1992 | Primary-Backup Protocols: Lower Bounds and Optimal Implementations | Budhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam |
| 28-Mar-2009 | Proactive Obfuscation | Roeder, Tom; Schneider, Fred B. |
| Nov-1990 | Progress Measures for Verification Involving Nondeterminism | Klarlund, Nils; Schneider, Fred B. |
| Mar-1987 | Proving Boolean Combinations of Deterministic Properties | Alpern, Bowen; Schneider, Fred B. |
| May-1991 | Proving Nondeterministically Specified Safety Properties Using Progress Measures | Klarlund, Nils; Schneider, Fred B. |
| Sep-1991 | Putting Time into Proof Outlines | Schneider, Fred B.; Bloom, Bard; Marzullo, Keith |
| 12-Jan-2011 | Quantification of Integrity | Clarkson, Michael R.; Schneider, Fred B. |
| 1-Mar-2007 | Quantifying Information Flow with Beliefs | Clarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B. |
Showing results 55 to 74 of 98
|
