The Formal Picnic Approach to Requirements
A mathematical excursion will improve your requirements.
Software Engineering and Programming Languages
Advertisement
The Upper Layers of the Internet
The Internet Protocol layer does not know or care what it carries in its payloads except that they are made up of binary bits. Above the application layer, however, the meaning of the content becomes important.
Introducing Communications’ Regional Special Sections
I am pleased to introduce the first regional special section of Communications, which we hope will become a feature that you anticipate and enjoy, and of course value for the insights and perspectives it presents!
Exploiting Psychology and Social Behavior for Game Stickiness
Interactive video games, which support various forms of collaboration and confrontation among gamers, create an obsessive stickiness.
Welcome to the China Region Special Section
We are pleased to present the China Region special section.
Consumers, Corporations, and Government: Computing in China
Unique historical, socioeconomic, and political conditions have created a distinctive path for China's rapid integration of computing and technology into its economy and society.
Cloud Bursting for the World’s Largest Consumer Market
The development and popularization of cloud computing, especially in emerging domains, brings great convenience and also poses new challenges.
Simplicity, small size, portability, and embeddability set Lua apart from other scripting languages.
Modern Debugging: The Art of Finding a Needle in a Haystack
Systematic use of proven debugging approaches and tools lets programmers address even apparently intractable bugs.
Skill Discovery in Virtual Assistants
Skill recommendations must be provided when users need them most, without being obtrusive or distracting.
Will Supercomputers Be Super-Data and Super-AI Machines?
New challenges in architecture, system software, and application technologies must be addressed to help develop next-generation exascale supercomputing systems.
Research for Practice: Knowledge Base Construction in the Machine-Learning Era
Three critical design points: Joint learning, weak supervision, and new representations.
Corp to Cloud: Google’s Virtual Desktops
How Google moved its virtual desktops to the cloud.
Tracking and Controlling Microservice Dependencies
Dependency management is a crucial part of system and software design.
Software Challenges for the Changing Storage Landscape
Conventional storage software stacks are unable to meet the needs of high-performance Storage-Class Memory technology. It is time to rethink 50-year-old architectures.
Recruiting With Virtual Reality
As the market for new employees grows increasingly competitive, some recruiters use virtual reality applications to attract qualified candidates.
Scalable Intelligent Systems by 2025
People are fundamental to a Scalable Intelligent System; there is no computer-only solution that can implement such a system.
Detecting Mental Illness by Watching You Type
Show us how you type, and artificial intelligence may be able to identify whether you suffer from a brain disorder.
Using artificial intelligence to process medical sensor data can have great impact on health-related costs and outcomes.
The Obscene Coupling Known as Spaghetti Code
Teach your junior programmers how to read code.
Mind Your State for Your State of Mind
The interactions between storage and applications can be complex and subtle.
The Mythos of Model Interpretability
In machine learning, the concept of interpretability is both important and slippery.
The Productivity Paradox in Health Information Technology
New York State healthcare providers increased their use of the technology but delivered only mixed results for their patients.
Formally Verified Software in the Real World
Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More