Monographs in Computer Science

Computer Systems

Theory, Technology, and Applications

Editors: Herbert, Andrew James, Spaerck Jones, Karen I.B. (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-0-387-21821-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.00
price for USA
  • ISBN 978-0-387-20170-2
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $99.00
price for USA
valid through November 5, 2017
  • ISBN 978-1-4757-8075-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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

    Rashid, Rick

    Pages 1-7

  • On Access Control, Data Integration, and Their Languages

    Abadi, Martín

    Pages 9-14

  • Protocol Analysis, Composability and Computation

    Anderson, Ross (et al.)

    Pages 15-19

  • Access Control in Distributed Systems

    Bacon, Jean (et al.)

    Pages 21-28

  • Implementing Condition Variables with Semaphores

    Birrell, Andrew D.

    Pages 29-37

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-0-387-21821-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.00
price for USA
  • ISBN 978-0-387-20170-2
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $99.00
price for USA
valid through November 5, 2017
  • ISBN 978-1-4757-8075-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

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 and Tables
67 b/w illustrations
Topics