Smarter Than Their Machines: Oral Histories of the Pioneers of Interactive Computing is based on ...

The aim of cryptography is to design primitives and protocols that withstand adversarial behavior...

As society rushes to digitize sensitive information and services, it is imperative to adopt adequ...

The wireless medium is a shared resource. If nearby devices transmit at thesame time, their signa...

As science becomes increasingly computational, the limits of what iscomputationally tractable bec...

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive e...

Is Internet software so different from 'ordinary' software? This book practically answers this qu...

The past few years have seen a major change in computing systems, as growing data volumes and sta...

Communities of Computing is the first book-length history of the Association for Computing Machin...

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on wh...

Complexes of physically interacting proteins constitute fundamental functional units that drive a...

Recent years have seen a dramatic growth of natural language text data, including web pages, news...