研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
在Web的旧时代(1995年之前),Web浏览器是相当简单的设备。服务器的Web界面非常简单,审计人员至少可以查看它并对其安全性进行推理。今天,情况不同了……
Swift是一种新的、有原则的构建Web应用程序的方法安全施工。Swift自动对应用程序代码进行分区,同时保证最终的位置是安全和高效的....
计算机科学和博弈论可以追溯到同一个人,约翰·冯·诺伊曼,这两个学科都涉及理性决策的数学化。然而,对于许多……
传统上,计算问题分为两类:具有多项式时间算法的问题和np困难的问题。然而,np硬度的概念不能应用于罕见的问题,即“每个实例……