Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Fisler, Kathryn Publisher Worcester Polytechnic Institute

Development of a Data-Grounded Theory of Program Design in HTDP

Improving the Efficiency of Homomorphic Encryption Schemes

First-Order Models for Configuration Analysis

Building Web Based Programming Environments for Functional Programming

Disjunction of Regular Timing Diagrams

Margrave: An Improved Analyzer for Access-Control and Configuration Policies

An Efficient Scheme to Provide Real-time Memory Integrity Protection

Alchemy: Transmuting Base Specifications into Implementations

Feature-Oriented Specification of Hardware Bus Protocols

An Axiomatic Semantics for Functional Reactive Programming