Tech Reports

Report IDxx Title Report authors Report date
1994-01 Semantic Locking in Object-Oriented Database Systems Rodolfo F. Resende, Divyakant Agrawal, and Amr El Abbadi February, 1994
1993-27 Xaslantest User Manual Jeffrey G. Douglas July, 1993
1993-26 Ustat -- A Real-time Intrusion Detection System for UNIX Koral Ilgun December, 1993
1993-25 STAT -- A State Transition Analysis Tool For Intrusion Detection Phil Porras November, 1993
1993-24 Maya: A Simulation Platform for Parallel Architectures andDistributed Shared Memories Divyakant Agrawal, Manhoi Choy, Hong Va Leong, and Ambuj K. Singh December, 1993
1993-23 Evaluating Weak Memories with Maya Divyakant Agrawal, Manhoi Choy, Hong Va Leong, and Ambuj K. Singh December, 1993
1993-21 On Real-time Distributed Geographical Database Systems Manhoi Choy, Mei-Po Kwan, and Hong Va Leong December, 1993
1993-20 On the Serializability Theorem for Nested Transactions Rodolfo F. Resende, and Amr El Abbadi January, 1993
1993-19 A Unified Implementation of Concurrency Control and Recovery Gustavo Alonso, Divyakant Agrawal, and Amr El Abbadi October, 1993
1993-18 A Simple LP-Free Approximation Algorithm for The Minimum WeightVertex Cover Problem Teofilo F. Gonzalez August, 1993
1993-17 Relative Serializability: An Approach for Relaxing the Atomicity ofTransactions D. Agrawal, J.L. Bruno, A. El Abbadi, and V. Krishnaswamy August, 1993
1993-16 A Graphical Interval Logic for Specifying Concurrent Systems L.K. Dillon, G. Kutty, L.E. Moser, P.M. Melliar-Smith, andY.S. Ramakrishna July, 1993
1993-15 MDBS: A Modeling and Database System to Support Research in theEarth Sciences Terence R. Smith, Jianwen Su, Divyakant Agrawal, and Amr El Abbadi July, 1993
1993-14 Supporting the Construction and Use of Spatio-Temporal Domains InScientific Databases Terrence R. Smith, Jianwen Su, and Michael F. Worboys July, 1993
1993-13 Aslantest Testplan Jeffrey G. Douglas July, 1993
1993-12 Aslantest User's Manual Jeffrey G. Douglas July, 1993
1993-11 Resource Allocation on Dynamic Conflict Graphs Manhoi Choy and Ambuj K. Singh July, 1993
1993-10 Semantics-based Time Warp Protocols Hong Va Leong and Divyakant Agrawal July, 1993
1993-09 A Formal Framework for ASTRAL Inter-Level Proof Obligations Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli April, 1993
1993-08 Comparing Multiple File Copies With a Primary Copy Using MinimalCommunication Khaled A.S. Abdel-Ghaffar and Amr El Abbadi April, 1993