BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
9 × USA
Collaborated with:
A.Birrell M.D.Schroeder M.F.Richardson A.J.Herbert R.D.H.Walker D.F.Hartley M.Burrows M.Abadi D.K.Gifford T.M.A.Lomas L.Gong J.H.Saltzer R.Levin
Talks about:
system (7) file (4) comput (3) cap (3) distribut (2) cambridg (2) logic (2) oper (2) difficult (1) workstat (1)

Person: Roger M. Needham

DBLP DBLP: Needham:Roger_M=

Contributed to:

LICS 19981998
SOSP 19891989
SOSP 19851985
SOSP 19831983
SOSP 19811981
SOSP 19791979
SOSP 19771977
SOSP 19711971
SOSP 19691969

Wrote 14 papers:

LICS-1998-Needham #logic
Logic and Over-Simplification (RMN), pp. 2–3.
SOSP-1989-BurrowsAN #authentication #logic
A Logic of Authentication (MB, MA, RMN), pp. 1–13.
SOSP-1989-LomasGSN #risk management
Reducing Risks from Poorly Chosen Keys (TMAL, LG, JHS, RMN), pp. 14–18.
SOSP-1985-SchroederGN #file system
A Caching File System For a Programmer’s Workstation (MDS, DKG, RMN), pp. 25–34.
SOSP-1983-RichardsonN
The TRIPOS Filing Machine, a Front End to a File Server (MFR, RMN), pp. 120–128.
SOSP-1983-SchroederBN #distributed #experience
Experience with Grapevine: The Growth of a Distributed System (MDS, AB, RMN), pp. 141–142.
SOSP-1981-BirrellLNS #distributed #named
Gravevine: An Exercise in Distributed Computing (AB, RL, RMN, MDS), pp. 178–179.
SOSP-1981-HerbertN #network
Sequencing Computation Steps in a Network (AJH, RMN), pp. 59–63.
SOSP-1979-Needham #aspect-oriented
Systems Aspects of the Cambridge Ring (RMN), pp. 82–85.
SOSP-1977-Needham #evaluation
The CAP Project — An Interim Evaluation (RMN), pp. 17–22.
SOSP-1977-NeedhamB
The Cap Filing System (RMN, AB), pp. 11–16.
SOSP-1977-NeedhamW
The Cambridge CAP Computer and its Protection System (RMN, RDHW), pp. 1–10.
SOSP-1971-Needham #fault #operating system
Handling Difficult Faults in Operating Systems (RMN), pp. 55–57.
SOSP-1969-NeedhamH #design #operating system #theory and practice
Theory and practice in operating system design (RMN, DFH), pp. 8–12.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.