0001-0782

Communications of the ACM (CACM) - Issue 685 论文列表

点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 685
发布时间:
卷期年份: 2015
卷期官网:
本期论文列表
Securing network time protocol.

The equivalence problem for finite automata: technical perspective.

Software engineering, like electrical engineering.

Hacking nondeterminism with induction and coinduction.

Verifying computations without reexecuting them.

Putting the computer science in computing education research.

Model-based testing: where does it stand?

Too big to fail.

In defense of soundiness: a manifesto.

We need a building code for building code.

Three paradoxes of building platforms.

Upstart Puzzles: Take Your Seats.

Is information technology destroying the middle class?

Automated support for diagnosis and repair.

Far-sighted thinking about deleterious computer-related events.

Visualizing sound.

Using technology to help people.

Online privacy: regional differences.

What's the best way to teach computer science to beginners?

Do-it-yourself textbook publishing.

To govern IT, or not to govern IT?

There is nothing new under the sun.