It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
Proposals for narrowing the gap between the formal methods and networking communities.
Pamela Zave
Advertisement
Author Archives
The Compositional Architecture of the Internet
A new model for describing the Internet reflects today's reality and the future's needs.
The operational versus the conventional approach to software development
The conventional approach to software development is being challenged by new ideas, many of which can be organized into an alternative decision structure called the “operational” approach. The operational approach is explained and compared to the conventional one.
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