An Open
Logical Programming Environment

Problem Description

Objectives & Approach

Contribution to PCES goals

Contribution to DoD Application

Project Tasks & Schedule

Progress & Accomplishments

AOP of continuous media networks

AOP of continuous media networks

    Formalizations of UAV MediaNet

    Formalizations of UAV MediaNet

Formally comparing designs

Formalization: first insights

Next Milestones

Collaborations

Technology Transfer

Program Issues

Summary: Contributions to OEPs