Taxonomic Search: Oregon Graduate Institute

4 results

Results

file

Programatica: The Early Years — A Personal Recollection

Submitted by Katie Dey on Wed, 02/08/2012 - 10:16pm. Contributor:

Abstract

Current program development environments provide excellent support for many desirable aspects of modern software applications such as performance and interoperability, but almost no support for features that could directly enhance correctness and reliability. In this talk, I will describe the first steps that we are making in a project to develop a new kind of program development environment.

  • 348.32 KB
  • 0 views
  • 31 downloads
  • Download
file

Krenz Security Architecture

Submitted by Katie Dey on Wed, 02/08/2012 - 10:18pm. Contributor:
  • 497.17 KB
  • 0 views
  • 33 downloads
  • Download
file

Formal Models of AIM

Submitted by adyson on Thu, 02/09/2012 - 2:43pm. Contributor:
  • 18.93 KB
  • 0 views
  • 50 downloads
  • Download
file

Advanced Infosec Machine Model and DSLs

Submitted by adyson on Thu, 02/09/2012 - 2:35pm. Contributor:
  • 349.15 KB
  • 0 views
  • 44 downloads
  • Download