Follow

Submissions from 2002

PDF

An Object-Oriented Event Calculus, Jeremiah S. Patterson

PDF

A Multilevel Secure Relational Database Model with key-polyinstantiation, Natalia Stakhanova and Ruchi Dhingra

PDF

Automated Data-Driven Discovery of Motif-Based Protein Function Classifiers, Xiangyun Wang, Diane Schroeder, Drena Dobbs, and Vasant Honavar

PDF

Predicting Protein-Protein Interaction Sites From Amino Acid Sequence, Changhui Yan, Vasant Honavar, and Drena Dobbs

PDF

Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction, Jun Zhang, Adrian Silvescu, and Vasant G. Honavar

Submissions from 2001

PDF

Alias-free parameters in C using multibodies, Medhat Assaad

PDF

Alias-free Parameters in C for Better Reasoning and Optimization, Medhat Assaad and Gary T. Leavens

PDF

Potential Function Explain of the Quick Algorithm of Synergetic Neural Network, Jie Bao

PDF

Supertrees by Flipping, Duhong Chen, Oliver Eulenstein, David Fernández-Baca, and Michael J. Sanderson

PDF

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Yoonsik Cheon and Gary T. Leavens

PDF

MultiJava: Design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch, Curtis Clifton

PDF

DECIMAL: A requirements engineering tool for product families, Prasanna Padmanabhan C.

PDF

Mutation, Aliasing, Viewpoints, Modular Reasoning, and Weak Behavioral Subtyping, Krishna Kishore Dhara and Gary T. Leavens

PDF

Preventing Cross-Type Aliasing for More Practical Reasoning, Krishna Kishore Dhara and Gary T. Leavens

PDF

SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001, Dimitra Giannakopoulou, Gary T. Leavens, and Murali Sitaraman

PDF

SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001, Dimitra Giannakopoulou, Gary T. Leavens, and Murali Sitaraman

PDF

Geometry and Computation of Antipodal Points on Plane Curves, Yan-Bin Jia

PDF

Larch Frequently Asked Questions, Gary T. Leavens

PDF

Modular Specification of Frame Properties in JML, Peter Müller, Arnd Poetzsch-Heffter, and Gary T. Leavens

Submissions from 2000

PDF

A Run-time Assertion Checker for Java using JML, Abhay Bhorkar

PDF

MultiJava: Modular Symmetric Multiple Dispatch and Extensible Classes for Java, Curtis Clifton, Gary T. Leavens, Craig Chambers, and Todd Millstein

PDF

Preliminary Design of JML: A Behavioral Interface Specification Language for Java, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

MIgories: an abstract model for interaction, Adrian Silvescu and Vasant Honavar

PDF

Formal Semantics and Soundness of an Algorithm, Tim Wahls and Gary T. Leavens

PDF

Executing Formal Specifications with Constraint Programming, Tim Wahls, Gary T. Leavens, and Albert L. Baker

Submissions from 1999

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

Introduction to the Literature On Programming Language Design, Gary T. Leavens

PDF

Larch/C++ Reference Manual, Gary T. Leavens

PDF

ACL -- Eliminating Parameter Aliasing with Dynamic Dispatch, Gary T. Leavens and Olga Antropova

PDF

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications, Gary T. Leavens and Albert L. Baker

PDF

A Complete Algebraic Characterization of Behavioral Subtyping, Gary T. Leavens and Don Pigozzi

PDF

Synthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications, R. Sekar and P. Uppuluri

Submissions from 1998

PDF

ACL--Eliminating Parameter Aliasing with Dynamic Dispatch, Olga Antropova

PDF

ACL---Eliminating Parameter Aliasing with Dynamic Dispatch, Olga Antropova and Gary T. Leavens

PDF

Safety Checklist for Four-Variable Requirements Methods, Guy Helmer

PDF

Evaluating the Expressiveness of a Multimethod Object-Oriented Programming Language, Sevtap Otles Karakoy

PDF

Programming is Writing: Why Student Programs must be Carefully Read, Gary T. Leavens, Albert L. Baker, Vasant Honavar, Steven M. LaValle, and Gurpur M. Prabhu

PDF

Preliminary Design of JML: A Behavioral Interface Specification, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

Multiple Dispatch as Dispatch on Tuples, Gary T. Leavens and Todd Millstein

PDF

Class-Based and Algebraic Models of Objects, Gary T. Leavens and Don Pigozzi

Submissions from 1997

PDF

Spatial Learning and Localization in Animals: A Computational Model and Its Implications for Mobile Robots, Karthik Balakrishnan and Olivier Bousquet

PDF

Spatial Learning for Robot Locialization, Karthik Balakrishnan and Vasant Honavar

PDF

Spatial Memory Structures for Sensor-Guided Robot Navigation, Karthik Balakrishnan and Vasant G. Honavar

PDF

The Concept of Error in a Database: An Application of Temporal Databases, Gautam Bhargava and Shashi K. Gadia

PDF

Is the Hippocampus a Kalman Filter?, Olivier Bousquet, Karthik Balakrishnan, and Vasant Honavar

PDF

BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing, Craig Chambers and Gary T. Leavens

PDF

Behavioral Subtyping in Object-Oriented Languages, Krishna Kishore Dhara

PDF

Forcing Behavioral Subtyping Through Specification Inheritance, Krishna Kishore Dhara

PDF

A Bibliography and Index of Our Works on Belief Data: Concept of Error and Multilevel Security, Shashi K. Gadia

PDF

Applicability of Temporal Data Models to Query Multilevel Security Databases: A Case Study, Shashi K. Gadia

PDF

A formal treatment of updates and errors in a relational database, Shashi K. Gadia and Gautam Bhargava

PDF

Algebraic Identities and Query Optimization In a Parametric Model For Relational Temporal Databases, Shashi K. Gadia and Sunil S. Nair

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

Specification Facets for More Precise, Focused Documentation, Gary T. Leavens and Clyde Ruby

PDF

Protective Interface Specifications, Gary T. Leavens and Jeannette M. Wing

PDF

Learning DFA for Simple Examples, Rajesh G. Parekh and Vasant Honavar

PDF

A Polynomial Time Incremental Algorithm for Regular Grammar Inference, Rajesh G. Parekh, Codrin Nichitiu, and Vasant Honavar

PDF

Constructive Neural Network Learning Algorithms for Multi-Category Real-Valued Pattern Classification, Rajesh G. Parekh, Jihoon Yang, and Vasant Honavar

PDF

Feature Subset Selection Using a Genetic Algorithm, Jihoon Yang and Vasant Honavar

PDF

DistAl: An Inter-pattern Distance-based Constructive Learning Algorithm, Jihoon Yang, Rajesh G. Parekh, and Vasant Honavar

PDF

LSL Traits for using Z with Larch, Hua Zhong

PDF

Power System Security Margin Prediction Using Radial Basis Function Networks, Guozhong Zhou, James D. McCalley, and Vasant Honavar

Submissions from 1996

PDF

An Arithmetic Test Suite for Genetic Programming, Dan Ashlock and James I. Lathrop

PDF

Intelligent Diagnosis Systems, Karthik Balakrishnan and Vasant Honavar

PDF

Equivalence of Measures of Complexity Classes, Josef M. Breutzmann and Jack H. Lutz

PDF

Modeling and Simulating Computer Networks Using Formalized Data Flow Diagrams, Michael D. Haverdink, Albert L. Baker, and Armin Mikler

PDF

Polymorphic Type-Checking in Scheme, Steven L. Jenkins and Gary T. Leavens

PDF

Compression Depth and the Behavior of Cellular Automata, James I. Lathrop

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

Introduction to the Literature on Programming Language Design, Gary T. Leavens

PDF

The Behavior-Realization Adjunction and Generalized Homomorphic Relations, Gary T. Leavens and Don Pigozzi

PDF

Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages, Gary T. Leavens, Tim Wahls, and Albert L. Baker

PDF

An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams, Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle

PDF

An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams, Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle

PDF

Protective Interface Specifications, Gary T. Leavens and Jeannette M. Wing

PDF

Feasible Reductions to Kolmogorov--Loveland Stochastic Sequences, Jack H. Lutz

PDF

One-Way Functions and Balanced NP, Jack H. Lutz

PDF

The Quantitative Structure of Exponential Time, Jack H. Lutz

PDF

Measure on P: Strength of the Notion, Martin Strauss

PDF

Stochastic Analysis of Periodic Timed Data Flow Diagrams with Markovian Transition Times, Jürgen Symanzik

PDF

Formalized Data Flow Diagrams and Their Relation to Other Computational Models, Jürgen Symanzik and Albert L. Baker

PDF

Non-Atomic components of Data Flow Diagrams: Stores, Persistent Flows, and Tests for Empty Flows, Jürgen Symanzik and Albert L. Baker

PDF

Subclasses of Formalized Data Flow Diagrams: Monogeneous, Linear & Topologically Free Choice RDFD's, Jürgen Symanzik and Albert L. Baker

Submissions from 1995

PDF

Evolutionary Design of Neural Architectures -- A Preliminary Taxonomy and Guide to Literature, Karthik Balakrishnan and Vasant Honavar

PDF

Properties of Genetic Representations of Neural Architectures., Karthik Balakrishnan and Vasant Honavar

PDF

On Binary Methods, Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce

PDF

Type Checking and Modules for Multi-Methods, Craig Chambers and Gary T. Leavens

PDF

A Neural Memory Architecture for Content As Well As Address-Based Storage & Recall: Theory and Applications, Chun-Hsien Chen and Vasant Honavar

PDF

A Neural Network Architecture for High-Speed Database Query Processing, Chun-Hsien Chen and Vasant Honavar

PDF

A Neural Network Architecture for Syntax Analysis, Chun-Hsien Chen and Vasant Honavar

PDF

Analysis of Decision Boundaries Generated by Constructive Neural Network Learning Algorithms, Chun-Hsien Chen, R. G. Parekh, J. Yang, Karthik Balakrishnan, and Vasant Honavar

PDF

An Algebra for Belief Persistence in Multilevel Security Databases, Tsz Shing Cheng and Shashi K. Gadia

PDF

An Algebra for Belief Persistence in Multilevel Security Databases, Tsz Shing Cheng and Shashi K. Gadia

PDF

Forcing Behavioral Subtyping Through Specification Inheritance, Krishna Kishore Dhara and Gary T. Leavens

PDF

Evaluating Larch/C++ as a Specification Language = A Case Study Using the Microsoft Foundation Class Library, David M. Egle

PDF

Linear-Time Algorithms for Parametric Minimum Spanning Tree Problems on Planar Graphs, David Fernández-Baca and Giora Slutzki

PDF

OhBench: The Ozsoyoglu-Hou workbench for database experimentation, Shashi K. Gadia

PDF

Polymorphic Type Inference in Scheme, Steven L. Jenkins and Gary T. Leavens

PDF

Simple Stochastic Temporal Constraint Networks, Vadim Kirillov and Vasant Honavar

PDF

A Physical Example for Teaching Curried Functions, Gary T. Leavens