Skip to Search Results
  • 2004

    Hoover, Jim, Figueroa, Pablo, Boulanger, Pierre

    Technical report TR04-06. In this document, we describe from different viewpoints our model for Virtual Reality applications. We give first an informal description of the basic concepts, the execution model, and some examples of modeling for devices, behaviors, and media content elements. Second,...

  • 2003

    Rudnicki, Piotr, Hoover, Jim, Hou, Daqing

    Technical report TR03-22. Different program analyses require different information from the source code. For some applications, an AST (Abstract Syntax Tree) representation of the source may be sufficient. We want to be able to specify assertions on the structure of a program without mentioning...

1 - 2 of 2