Wireless Networked Transducers

Software and Regulation

Secure, Fine-Grained Dynamic Provisioning of Applications

A Very Small Java Virtual Machine

A Java-Based Wireless Enterprise Client

A Small Java Virtual Machine | The KVM

Error Detecting Program Analysis

High-Level Hardware Synthesis

Ada Benchmarking

Architectural Support for Prolog

Telecommuting

ECAD in Prolog

A Smalltalk Compiler

Software Abstraction and Refinement