The Resource Computer Systems : Theory, Technology, and Applications, edited by Andrew James Herbert, Karen I.B. Spaerck Jones, (electronic resource)

Computer Systems : Theory, Technology, and Applications, edited by Andrew James Herbert, Karen I.B. Spaerck Jones, (electronic resource)

Label
Computer Systems : Theory, Technology, and Applications
Title
Computer Systems
Title remainder
Theory, Technology, and Applications
Statement of responsibility
edited by Andrew James Herbert, Karen I.B. Spaerck Jones
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
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
Member of
Dewey number
005.1/2
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • ybW8O6KUMlQ
  • ddo1rA7AlmU
Language note
English
LC call number
  • QA76.9.C643
  • TK5105.5-5105.9
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Herbert, Andrew James.
  • Spaerck Jones, Karen I.B.
Series statement
Monographs in Computer Science,
http://library.link/vocab/subjectName
  • Computer network architectures
  • Information theory
  • Software engineering
  • Computer Communication Networks
  • Computer science
  • Operating systems (Computers)
  • Computer Systems Organization and Communication Networks
  • Theory of Computation
  • Software Engineering/Programming and Operating Systems
  • Computer Communication Networks
  • Programming Languages, Compilers, Interpreters
  • Operating Systems
Label
Computer Systems : Theory, Technology, and Applications, edited by Andrew James Herbert, Karen I.B. Spaerck Jones, (electronic resource)
Instantiates
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Content category
text
Content type code
  • txt
Contents
Introduction: Roger Needham -- On Access Control, Data Integration, and Their Languages -- Protocol Analysis, Composability and Computation -- Access Control in Distributed Systems -- Implementing Condition Variables with Semaphores -- Clumps, Clusters and Classification -- How to Implement Unnecessary Mutexes -- Bioware Languages -- The Economics of Open Systems -- From Universe to Global Internet -- Needham-Schroeder Goes to Court -- The Design of Reliable Operating Systems -- An Historical Connection between Time-Sharing and Virtual Circuits -- On Cross-Platform Security -- Distributed Computing Economics -- The Titan Influence -- Middleware? Muddleware! -- Grand Challenges for Computing Research -- Sentient Computing -- Cyber Security in Open Systems -- Software Components: Only the Giants Survive -- Security Protocols: Who Knows What Exactly? -- Volume Rendering by Ray-Casting in Shear-Image Order -- A Conceptual Authorization Model for Web Services -- The Trouble with Standards -- Novelty in the Nemesis Operating System -- A Technology Transfer Retrospective -- An Optical LAN -- What’s in a Name? -- The Cryptographic Role of the Cleaning Lady -- Real Time in a Real Operating System -- Zen and the Art of Research Management -- The Descent of BAN -- Brief Encounters -- Retrieval System Models: What’s New? -- Slammer: An Urgent Wake-Up Call -- Caching Trust Rather Than Content -- Least Privilege and More -- Using Sharing to Simplify System Management -- An RSA-Related Number-Theoretic Surprise -- Application-Private Networks -- Using the CORAL System to Discover Attacks on Security Protocols -- On the Role of Binding and Rate Adaptation in Packet Networks -- Technologies for Portable Computing: Outlook and Limitations -- Multiple Alternative Voting -- The Semiotics of Umbrellas -- Computers for Specialized Application Areas
Dimensions
unknown
Edition
1st ed. 2004.
Extent
1 online resource (320 p.)
Form of item
online
Isbn
9781280189067
Media category
computer
Media type code
  • c
Other control number
10.1007/b97622
Specific material designation
remote
System control number
  • (CKB)1000000000012961
  • (EBL)3036253
  • (SSID)ssj0000127950
  • (PQKBManifestationID)11148066
  • (PQKBTitleCode)TC0000127950
  • (PQKBWorkID)10063350
  • (PQKB)11318262
  • (DE-He213)978-0-387-21821-2
  • (MiAaPQ)EBC3036253
  • (EXLCZ)991000000000012961
Label
Computer Systems : Theory, Technology, and Applications, edited by Andrew James Herbert, Karen I.B. Spaerck Jones, (electronic resource)
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Content category
text
Content type code
  • txt
Contents
Introduction: Roger Needham -- On Access Control, Data Integration, and Their Languages -- Protocol Analysis, Composability and Computation -- Access Control in Distributed Systems -- Implementing Condition Variables with Semaphores -- Clumps, Clusters and Classification -- How to Implement Unnecessary Mutexes -- Bioware Languages -- The Economics of Open Systems -- From Universe to Global Internet -- Needham-Schroeder Goes to Court -- The Design of Reliable Operating Systems -- An Historical Connection between Time-Sharing and Virtual Circuits -- On Cross-Platform Security -- Distributed Computing Economics -- The Titan Influence -- Middleware? Muddleware! -- Grand Challenges for Computing Research -- Sentient Computing -- Cyber Security in Open Systems -- Software Components: Only the Giants Survive -- Security Protocols: Who Knows What Exactly? -- Volume Rendering by Ray-Casting in Shear-Image Order -- A Conceptual Authorization Model for Web Services -- The Trouble with Standards -- Novelty in the Nemesis Operating System -- A Technology Transfer Retrospective -- An Optical LAN -- What’s in a Name? -- The Cryptographic Role of the Cleaning Lady -- Real Time in a Real Operating System -- Zen and the Art of Research Management -- The Descent of BAN -- Brief Encounters -- Retrieval System Models: What’s New? -- Slammer: An Urgent Wake-Up Call -- Caching Trust Rather Than Content -- Least Privilege and More -- Using Sharing to Simplify System Management -- An RSA-Related Number-Theoretic Surprise -- Application-Private Networks -- Using the CORAL System to Discover Attacks on Security Protocols -- On the Role of Binding and Rate Adaptation in Packet Networks -- Technologies for Portable Computing: Outlook and Limitations -- Multiple Alternative Voting -- The Semiotics of Umbrellas -- Computers for Specialized Application Areas
Dimensions
unknown
Edition
1st ed. 2004.
Extent
1 online resource (320 p.)
Form of item
online
Isbn
9781280189067
Media category
computer
Media type code
  • c
Other control number
10.1007/b97622
Specific material designation
remote
System control number
  • (CKB)1000000000012961
  • (EBL)3036253
  • (SSID)ssj0000127950
  • (PQKBManifestationID)11148066
  • (PQKBTitleCode)TC0000127950
  • (PQKBWorkID)10063350
  • (PQKB)11318262
  • (DE-He213)978-0-387-21821-2
  • (MiAaPQ)EBC3036253
  • (EXLCZ)991000000000012961

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...