Computer Systems
Theory, Technology, and Applications
Editors: Herbert, Andrew James, Spaerck Jones, Karen I.B. (Eds.)
Free PreviewBuy this book
- About this book
-
Computer Systems: Theory, Technology, and Applications
A Tribute to Roger Needham
Computer systems form the core of computing, as their combinations of hardware and software components function together to help program developers and end-users achieve goals of managing and accessing information in all its forms. Roger Needham, in a distinguished career at Cambridge University and Microsoft Research, was a pioneer of computer systems research and a noted innovator in the crucial area of system security.
Computer Systems: Theory, Technology, and Applications presents a comprehensive edited survey of all aspects of the subject, with original contributions by more than 40 international leaders in the field. The book assembles a collection of short articles showing the state-of-the-art in systems, from formal calculi to mobile devices, from operating systems to distributed computing and security—while also honoring Needham’s important contributions.
Among the topics addressed:
Access control, data integration, and their languages
Clumps, clusters, and classification
The economics of open systems
The Needham – Schroeder authentication protocol
Sentient computing
A technology transfer retrospective
Real time in a real operating system
Application-private networks
Technologies for portable computing
An authorization model for web services
Challenges for computing research
Protocol analysis, composability, and computation
This accessible monograph is an ideal overview of theoretical and empirical evolution in computer systems. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge of the entire field.
- Table of contents (47 chapters)
-
-
Introduction: Roger Needham
Pages 1-7
-
On Access Control, Data Integration, and Their Languages
Pages 9-14
-
Protocol Analysis, Composability and Computation
Pages 15-19
-
Access Control in Distributed Systems
Pages 21-28
-
Implementing Condition Variables with Semaphores
Pages 29-37
-
Table of contents (47 chapters)
- Download Preface 1 PDF (41.2 KB)
- Download Sample pages 1 PDF (63.8 KB)
- Download Table of contents PDF (27.2 KB)
- cover old
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Computer Systems
- Book Subtitle
- Theory, Technology, and Applications
- Editors
-
- Andrew James Herbert
- Karen I.B. Spaerck Jones
- Series Title
- Monographs in Computer Science
- Copyright
- 2004
- Publisher
- Springer-Verlag New York
- Copyright Holder
- Springer Science+Business Media New York
- eBook ISBN
- 978-0-387-21821-2
- DOI
- 10.1007/b97622
- Hardcover ISBN
- 978-0-387-20170-2
- Softcover ISBN
- 978-1-4757-8075-8
- Series ISSN
- 0172-603X
- Edition Number
- 1
- Number of Pages
- XVII, 338
- Number of Illustrations
- 67 b/w illustrations
- Topics
