1411 search results - page 243 / 283 » Interactive Coding for Interactive Proofs |
88
Voted
WWW
2009
ACM
15 years 10 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
The asymmetry of activity in virtual communities is of great interest. While participation in the activities of virtual communities is crucial for a community's survival and ...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
It is increasingly common for users to interact with the web using a number of different aliases. This trend is a doubleedged sword. On one hand, it is a fundamental building bloc...
179
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
73
Voted
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Jadeite is a new Javadoc-like API documentation system that takes advantage of multiple users' aggregate experience to reduce difficulties that programmers have learning new ...