75 search results - page 10 / 15 » Assisted Proof Document Authoring |
POPL
2006
ACM
14 years 7 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
WIKIS
2006
ACM
14 years 20 days ago
2006
ACM
In this paper we propose a new wiki concept — light constraints — designed to encode community best practices and domain-specific requirements, and to assist in their applica...
BMCBI
2010
13 years 6 months ago
2010
Background: In the current era of scientific research, efficient communication of information is paramount. As such, the nature of scholarly and scientific communication is changi...
SIGUCCS
2003
ACM
13 years 12 months ago
2003
ACM
Online training and support objects can be difficult and timeconsuming to create. Written words are often ignored by users who want someone to show them a procedure. Viewlets are ...
CHI
1998
ACM
13 years 11 months ago
1998
ACM
Several visualizations have emerged which attempt to visualize all or part of the World Wide Web. Those visualizations, however, fail to present the dynamically changing ecology o...