Skip to main content


eCommons@Cornell

eCommons@Cornell >

Browsing by Author Schneider, Fred B.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 55 to 74 of 98
< previous   next >
PreviewIssue DateTitleAuthor(s)
Nov-1998NAP: Practical Fault-Tolerance for Itinerant ComputationsJohansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii
Mar-1999NAP: Practical Fault-Tolerance for Itinerant ComputationsJohansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii
Feb-1994A New Approach to Teaching MathematicsGries, David; Schneider, Fred B.
14-Sep-2009Nexus Authorization Logic (NAL): Design Rationale and ApplicationsSchneider, Fred B.; Walsh, Kevin; Sirer, Emin Gun
Jan-1995Notes on Proof Outline LogicSchneider, Fred B.
Mar-1979On Restrictions to Ensure Reproducible Behavior in Concurrent ProgramsSchneider, Fred B.; Bernstein, A. J.
Dec-1994Operating System Support for Mobile AgentsJohansen, Dag; Van Renesse, Robbert; Schneider, Fred B.
Aug-1992Optimal Primary-Backup ProtocolsBudhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam
Feb-1986A Paradigm for Reliable Clock SynchronizationSchneider, Fred B.
16-Feb-2004Peer-to-Peer Authentication with a Distributed Single Sign-On ServiceJosephson, William; Sirer, Emin Gun; Schneider, Fred B.
Jan-1980Personal Keys, Group Keys and Master KeysDenning, Dorothy E.; Schneider, Fred B.
May-1989Pretending AtomicityLamport, Leslie; Schneider, Fred B.
Jan-1992Primary-Backup Protocols: Lower Bounds and Optimal ImplementationsBudhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam
28-Mar-2009Proactive ObfuscationRoeder, Tom; Schneider, Fred B.
Nov-1990Progress Measures for Verification Involving NondeterminismKlarlund, Nils; Schneider, Fred B.
Mar-1987Proving Boolean Combinations of Deterministic PropertiesAlpern, Bowen; Schneider, Fred B.
May-1991Proving Nondeterministically Specified Safety Properties Using Progress MeasuresKlarlund, Nils; Schneider, Fred B.
Sep-1991Putting Time into Proof OutlinesSchneider, Fred B.; Bloom, Bard; Marzullo, Keith
12-Jan-2011Quantification of IntegrityClarkson, Michael R.; Schneider, Fred B.
1-Mar-2007Quantifying Information Flow with BeliefsClarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B.
Showing results 55 to 74 of 98
< previous   next >

 

© 2014 Cornell University Library Contact Us