Technical Reports
2001
Quantum Signal Propagation in Depolarizing Channels
Analysis of Carry Propagation in Addition: An Elementary Approach
Proving Sequential Consistency by Model Checking
Separating Crosscutting Concerns Across the Lifecycle: From Composition Patterns to AspectJ and Hyper/J
Aspect-Oriented Incremental Customization of Middleware Services
Using Versioning to Simplify the Implementation of a Highly-Available File System
Image-Based Measurement of Light Sources With Correct Filtering
Constraint-Based Agents: A Formal Model for Agent Design
The Shortest Disjunctive Normal Form of a Random Boolean Function
Characterizations of Random Set-Walks
Enumeration of Matchings in the Incidence Graphs of Complete and Complete Bipartite Graphs
Concern Graphs: Finding and Describing Concerns Using Structural Program Dependencies
Loosely Coupled Optimistic Replication for Highly Available, Scalable Storage
Bayesian Latent Semantic Analysis of Multimedia Databases
Clustering Facial Displays in Context
The Optimized Segment Support Map for the Mining of Frequent Patterns
Animation of Fish Swimming
Free-Surface Conditions in the Realistic Animation of Liquids
Controlling Fluid Flow Simulation