The ?-calculus, a calculus of mobile processes, can compositionally represent dynamics of major programming constructs by decomposing them into name p...
Object-oriented languages provide little support for encapsulating objects. Reference semantics allows objects to escape their defining scope, and the...
The Embedded Machine is a virtual machine that mediates in real time the interaction between software processes and physical processes. It separates t...
We present a unified mathematical framework for analyzing the tradeoffs between parallelism and storage allocation within a parallelizing compiler. Us...
Fingerprinting embeds a secret message into a cover message. In media fingerprinting, the secret is usually a copyright notice and the cover a digital...
