From broadcast television to Internet audio/video: techniques and tools for VCR-style interactivity.
A case study using lightweight formalism to review an information system specification.
Reducing the overhead of dynamic compilation.
An object-oriented design for graph visualization.
Schrödinger's token.