Vicki L. Sauter – Communications of the ACM

Research and Advances Jun 1 2007

An Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools

One reason system failure rates are not deterred by the latest best practices and tools may lie in how needs are (mis)interpreted by designers and users.

Architecture and Hardware

Author Archives

Research and Advances Jun 1 1999

Intuitive Decision-Making

Combining advanced analytical tools with human intuition increases insight into problems.

Computing Applications

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 Involved