|
|
eCommons@Cornell >
Browsing by Author Schneider, Fred B.
Showing results 1 to 20 of 98
| Preview | Issue Date | Title | Author(s) | | Apr-1986 | Abstractions for Fault Tolerance in Distributed Systems | Schneider, Fred B. |
| May-1996 | Adding the Everywhere Operator to Propositional Logic | Gries, David; Schneider, Fred B. |
| Nov-1981 | An Approach to Designing Fault-Tolerant Computing Systems | Schlichting, Richard D.; Schneider, Fred B. |
| 11-Oct-2002 | APSS: Proactive Secret Sharing in Asynchronous Systems | Zhou, Lidong; Schneider, Fred B.; van Renesse, Robbert |
| Sep-1989 | An Assertional Characterization of Serializability | McCurley, E. Robert; Schneider, Fred B. |
| Nov-1996 | Automated Analysis of Fault-Tolerance in Distributed Systems | Stoller, Scott D.; Schneider, Fred B. |
| 21-Dec-2000 | Automated Analysis of Fault-Tolerance in Distributed Systems | Stoller, Scott D.; Fred B. Schneider Stoller, Scott D; Schneider, Fred B. |
| Jun-1998 | Automated Stream-Based Analysis of Fault-Tolerance | Stoller, Scott; Schneider, Fred B. |
| May-1995 | Avoiding the Undefined by Underspecification | Gries, David,; Schneider, Fred B. |
| 10-Feb-2005 | Belief in Information Flow | Clarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B. |
| 24-May-2011 | Blueprint for a Science of Cybersecurity | Schneider, Fred B. |
| Oct-1980 | Broadcasts: A Paradigm for Distributed Programs | Schneider, Fred B. |
| Aug-1983 | Byzantine Generals In Action: Implementing Fail-Stop Processors | Schneider, Fred B. |
| 8-Dec-2000 | COCA: A Secure Distributed On-line Certification Authority | Zhou, Lidong; Schneider, Fred B.; van Renesse, Robbert |
| 28-Jul-2004 | CODEX: A Robust and Secure Secret Distribution System | Marsh, Michael A.; Schneider, Fred B. |
| Jul-1986 | Completeness and Incompleteness of Trace-Based Network Proof Systems | Widom, Jennifer; Gries, David; Schneider, Fred B. |
| 26-Aug-2003 | Computability Classes for Enforcement Mechanisms | Hamlen, Kevin W.; Morrisett, Greg; Schneider, Fred B. |
| Sep-1982 | Concepts and Notations for Concurrent Programming | Andrews, Gregory R.; Schneider, Fred B. |
| Sep-1984 | Constraints: A Uniform Approach to Aliasing and Typing | Lamport, Leslie; Schneider, Fred B. |
| Nov-1998 | Critical Infrastructures You Can Trust: Where Telecommunications Fits | Schneider, Fred B.; Bellovin, Steven M.; Inouye, Alan S. |
Showing results 1 to 20 of 98
|
