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 61 to 80 of 99
< previous   next >
PreviewIssue DateTitleAuthor(s)
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.
Feb-1994Reasoning About Programs by Exploiting the EnvironmentFix, Limor; Schneider, Fred B.
Jan-1986Recognizing Safety and LivenessAlpern, Bowen; Schneider, Fred B.
Apr-1994Refinement for Fault-Tolerance: An Aircraft Hand-off ProtocolMarzullo, Keith; Schneider, Fred B.; Dehn, Jon
Oct-1985Safety Without StutteringAlpern, Bowen; Demers, Alan J.; Schneider, Fred B.
Jul-1999SASI Enforcement of Security Policies: A RetrospectiveErlingsson, Ulfar; Schneider, Fred B.
Showing results 61 to 80 of 99
< previous   next >

 

© 2014 Cornell University Library Contact Us