|
|
eCommons@Cornell >
Browsing by Author Schneider, Fred B.
Showing results 39 to 58 of 98
| Preview | Issue Date | Title | Author(s) | | Apr-1995 | Faster Possibility Detection by Combining Two Approaches | Stoller, Scott D.; Schneider, Fred B. |
| Sep-1983 | Fault-Tolerant Broadcasts | Schneider, Fred B.; Gries, David; Schlichting, Richard D. |
| 16-Oct-2012 | Federated Identity Management Systems: A Privacy-based Characterization | Birrell, Eleanor; Schneider, Fred B. |
| May-1998 | Formalizations Of Substitution Of Equals For Equals | Gries, David; Schneider, Fred B. |
| Jun-1996 | A Graphical Interface for CHIP | Alvisi, Lorenzo; Schneider, Fred B. |
| May-1982 | The "Hoare Logic" of CSP, and All That | Lamport, Leslie; Schneider, Fred B. |
| Dec-1983 | The HOCA Operating System Specifications | Babaoglu, Ozalp; Schneider, Fred B. |
| Jul-1994 | Hybrid Verification by Exploiting the Environment | Fix, Limor; Schneider, Fred B. |
| 27-Jan-2008 | Hyperproperties | Clarkson, Michael R.; Schneider, Fred B. |
| 22-Dec-2008 | Hyperproperties | Clarkson, Michael R.; Schneider, Fred B. |
| Mar-1995 | Hypervisor-based Fault-tolerance | Bressoud, Thomas C.; Schneider, Fred B. |
| 30-Jan-2006 | Independence From Obfuscation: A Semantic Framework for Diversity | Pucella, Riccardo; Schneider, Fred B. |
| May-1985 | Inexact Agreement: Accuracy, Precision, and Graceful Degradation | Mahaney, Stephen R.; Schneider, Fred B. |
| Aug-1982 | Key Exchange Using Keyless Cryptography | Alpern, Bowen; Schneider, Fred B. |
| Feb-1979 | Mechanisms for Specifying Scheduling Policies | Schneider, Fred B.; Bernstein, A. J. |
| 15-Aug-2009 | Multi-Verifier Signatures | Roeder, Tom; Pass, Rafael; Schneider, Fred B. |
| 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 |
Showing results 39 to 58 of 98
|
