Separate Handles from Names on the Internet
The human meaning of domain names attracts conflict over their control, degrading their reliability as permanent handles. Solution: support handles separately from names.
Separate Handles from Names on the Internet
A critique of the foundations of Hoare style programming logics
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