eCommons@Cornell: Browsing eCommons

	Home
	About

	Browse All
	Titles
	Authors
	Subjects
	By Date
	My Account authorized users
	Statistics
	Contact Us

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:

Showing results 43 to 62 of 98

< previous next >

Issue Date	Title	Author(s)
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
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

Showing results 43 to 62 of 98

< previous next >

Search

Browsing by Author Schneider, Fred B.