A Logical Programming Environment (LPE) for Building Embedded Systems: A Report to the DARPA/PCES PI Meeting, Austin, Texas (December 2002)

A Logical Programming Environment for Building Embedded Systems: A Report to the DARPA/PCES PI Meeting, Beaverton, Oregon (July 2002)

User-specified Adaptive Scheduling in a Streaming Media Network (June 2002)

A Logical Programming Environment for Building Embedded Systems: A Report to the DARPA/PCES PI Meeting, Herndon, Virginia (April 2002)

An Open Logical Programming Environment: A Report to the DARPA/PCES PI Meeting, Mesa, Arizona (October 2001)

Formal Methods for Software Evolution: Interoperability Results (October 1999)

An Open Logical Programming Environment: A Practical Framework for Sharing Formal Models and Tools (July 1998)

Return to Main Index