CORDS: status and directions

[1]  Stephen A. Cook,et al.  The optimal placement of replicas in a network using a read any - write all policy , 1992, CASCON.

[2]  Alberto O. Mendelzon,et al.  Low Complexity Aggregation in GraphLog and Datalog , 1993, Theor. Comput. Sci..

[3]  Yuri Breitbart,et al.  Strong recoverability in multidatabase systems , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

[4]  Jacob Slonim,et al.  Towards a new distributed programming environment (CORDS) , 1991, CASCON.

[5]  James Won-Ki Hong,et al.  The role of directory services in network management , 1992, CASCON.

[6]  Gerald W. Neufeld,et al.  A transactional API for the EAN X.500 directory service , 1992, CASCON.

[7]  Hazel Everett,et al.  The Aquarium Keeper's Problem , 1991, SODA '91.

[8]  Jan K. Pachl,et al.  A notation for specifying test selection criteria , 1990, PSTV.

[9]  Dexter P. Bradshaw.  Open nested serializability in multidatabase systems , 1992, CASCON.

[10]  Per-Åke Larson,et al.  Transaction management in Hermes , 1991, CASCON.

[11]  Daniel M. Yellin,et al.  High-level language support for programming reliable distributed systems , 1992 .

[12]  G. Neufeld,et al.  The UBC OSI Distributed Application Programming Environment , 1991 .

[13]  Toby J. Teorey,et al.  NESTMOD simulation of DQDB metropolitan networks , 1992, CASCON.

[14]  Arthur P. Goldberg,et al.  Restoring consistent global states of distributed computations , 1991, PADD '91.

[15]  Kelly A. Lyons.  Cluster busting in anchored graph drawing , 1992, CASCON.

[16]  Sudebkumar Prasant Pal,et al.  A convex hull algorithm for discs, and applications , 1992 .

[17]  Mariano P. Consens,et al.  Supporting Network Management through Declaratively Specified Data Visualizations , 1993, Integrated Network Management.

[18]  Arthur P. Goldberg.  Transparent Recovery of Mach Applications , 1990, USENIX MACH Symposium.

[19]  Per-Åke Larson,et al.  Supporting database access in the Hermes programming language , 1991, CASCON.

[20]  Abraham Silberschatz,et al.  An optimistic commit protocol for distributed transaction management , 1991, SIGMOD '91.

[21]  Yechiam Yemini,et al.  Putting the Transport Layer on VLSI - the PROMPT Protocol Chip , 1992, Protocols for High-Speed Networks.

[22]  Per-Åke Larson,et al.  Multidatabase services: issues and architectural design , 1992, CASCON.

[23]  Son T. Vuong,et al.  An Overview of ASN.1 , 1992, Comput. Networks ISDN Syst..

[24]  David F. Bacon,et al.  A Portable Run-time System for the Hermes Distributed Programming Language , 1990, USENIX Summer.

[25]  Abraham Silberschatz,et al.  Parallel Bottom-Up Processing of Datalog Queries , 1992, J. Log. Program..

[26]  Abraham Silberschatz,et al.  Failure-resilient transaction management in multidatabase , 1991, Computer.

[27]  Gerald W. Neufeld,et al.  The Parallel Protocol Framework , 1992 .

[28]  Michael Bauer,et al.  Search operations on distributed directories , 1992, Proceedings ICCI `92: Fourth International Conference on Computing and Information.

[29]  Alberto O. Mendelzon,et al.  Visualizing and querying software structures , 1992, International Conference on Software Engineering.

[30]  Rajeev Rastogi,et al.  Relaxing serializability in multidatabase systems , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

[31]  Abraham Silberschatz,et al.  On Rigorous Transaction Scheduling , 1991, IEEE Trans. Software Eng..

[32]  Abraham Silberschatz,et al.  Database System Concepts , 1980 .

[33]  Rajeev Rastogi,et al.  The concurrency control problem in multidatabases: characteristics and solutions , 1992, SIGMOD '92.

[34]  Daniel M. Yellin,et al.  Extending Typestate Checking Using Conditional Liveness Analysis , 1993, IEEE Trans. Software Eng..

[35]  David Taylor.  A prototype debugger for Hermes , 1992, CASCON.

[36]  Abraham Silberschatz,et al.  A theory of relaxed atomicity (extended abstract) , 1991, PODC '91.

[37]  Jadranka Alilovic-Curgus,et al.  Analytic methods in coverage testing of communications software , 1992, CASCON.

[38]  Jacob Slonim,et al.  Analysis of X.500 distributed directory refresh strategies , 1991, CASCON.

[39]  James R. Russell,et al.  On oraclizable networks and Kahn's principle , 1989, POPL '90.

[40]  Abraham Silberschatz,et al.  Unilateral commit: a new paradigm for reliable distributed transaction processing , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[41]  Jianchun Zhang.  Classifying approaches to semantic heterogeneity in multidatabase systems , 1992, CASCON.

[42]  Tong Wang,et al.  Strategies for distributed search , 1992, CSC '92.

[43]  Michael Sample,et al.  Implementing efficient encoders and decoders for network data representations , 1993, IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings.

[44]  Ferhat Khendek,et al.  A formalization of the CORDS Process Model using Mondel , 1992, CASCON.

[45]  Janice I. Glasgow,et al.  A Knowledge-Based System for Fault Diagnosis in Real-Time Engineering Applications , 1991, DEXA.

[46]  Isabel F. Cruz,et al.  DOODLE: a visual language for object-oriented databases , 1992, SIGMOD '92.

[47]  Ming-Ling Lo,et al.  A concurrency control protocol for nested transactions , 1992, CASCON.

[48]  Terry Coatta,et al.  Configuration management via constraint programming , 1992, CDS.

[49]  Gopi K. Attaluri.  Issues in managing long transactions and large objects in a multidatabase system , 1992, CASCON.

[50]  James R. Russell,et al.  Optimistic failure recovery for very large networks , 1991, [1991] Proceedings Tenth Symposium on Reliable Distributed Systems.

[51]  Michael A. Bauer,et al.  On the feasibility of ISO FTAM-based file servers to implement a heterogeneous file system , 1992 .

[52]  Toby J. Teorey,et al.  Nestmod: the NetMod - NEST interface , 1991, CASCON.

[53]  S. Chanson,et al.  Architecture and design of a portable protocol tester , 1991, IEEE Network.

[54]  Andy Lowry.  The Hermes language in outline form , 1992, SIGP.

[55]  R. E. Strom.  Hermes: an integrated language and system for distributed programming , 1990, IEEE Workshop on Experimental Distributed Systems.

[56]  Jan K. Pachl.  A Simple Proof of a Completeness Result for leads-to in the UNITY Logic , 1992, Inf. Process. Lett..

[57]  Jacob Slonim,et al.  Directory requirements for a multidatabase service , 1992, CASCON.

[58]  Patrícia Gomes Soares,et al.  On remote procedure call , 1992 .

[59]  David F. Bacon,et al.  Optimistic parallelization of communicating sequential processes , 1991, PPOPP '91.

[60]  Jacob Slonim,et al.  A service acquisition mechanism for the client/service model in Cygnus , 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

[61]  Jan K. Pachl,et al.  Coherence in naming in distributed computing environments , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[62]  Y. Yemini,et al.  NETMATE: A network management environment , 1991, IEEE Network.

[63]  Arthur P. Goldberg.  Optimistic algorithms for distributed transparent process replication , 1991 .

[64]  Emanuel G. Noik,et al.  Challenges in graph-based relational data visualization , 1992, CASCON.

[65]  Shmuel Katz,et al.  High-level language debugging for concurrent programs , 1990, TOCS.

[66]  Gerald W. Neufeld,et al.  TDBM: A DBM Library with Atomic Transactions , 1992, USENIX Summer.

[67]  Jacob Slonim,et al.  Control and responsiveness in Hermes , 1991, CASCON.

[68]  Thomas Kunz,et al.  Distributed debugging using a reverse-engineering tool , 1992 .

[69]  Chinya V. Ravishankar,et al.  Name space models for locating services , 1991, CASCON.

[70]  Abraham Silberschatz,et al.  A Multi-Resolution Relational Data Model , 1992, VLDB.

[71]  Daniel M. Yellin.  Representing sets with constant time equality testing , 1990, SODA '90.

[72]  Abraham Silberschatz,et al.  Incremental Recovery in Main Memory Database Systems , 1992, IEEE Trans. Knowl. Data Eng..

[73]  Wing-Hong Cheung.  Event abstraction for debugging distributed programs , 1990, IEEE TENCON'90: 1990 IEEE Region 10 Conference on Computer and Communication Systems. Conference Proceedings.

[74]  Qiang Zhu.  Query optimization in multidatabase systems , 1992, CASCON.

[75]  Gerald W. Neufeld.  Descriptive names in X.500 , 1989, SIGCOMM 1989.

[76]  Rajeev Rastogi,et al.  A transaction model for multidatabase systems , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[77]  Joshua S. Auerbach.  TACT: A Protocol Conversion Toolkit , 1990, IEEE J. Sel. Areas Commun..

[78]  Daniel M. Yellin,et al.  High-level language support for programming distributed systems , 1991, Proceedings of the 1992 International Conference on Computer Languages.

[79]  Crispin Cowan.  Optimistic replication in HOPE , 1992, CASCON.

[80]  Abraham Silberschatz,et al.  Deadlock problems in a multidatabase environment , 1991, COMPCON Spring '91 Digest of Papers.

[81]  Salvatore J. Stolfo,et al.  Incremental evaluation of rules and its relationship to parallelism , 1991, SIGMOD '91.

[82]  Michael Stonebraker,et al.  Database systems: achievements and opportunities , 1991, CACM.

[83]  Rajeev Rastogi,et al.  Ensuring transaction atomicity in multidatabase systems , 1992, PODS.

[84]  A. Silberschatz,et al.  An analysis technique for transitive closure algorithms: a statistical approach , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[85]  Gerald W. Neufeld,et al.  A Multiprocessor Approach for Meeting the Processing Requirements for OSI , 1993, IEEE J. Sel. Areas Commun..

[86]  Peter Eades,et al.  The complexity of computing minimum separating polygons , 1993, Pattern Recognit. Lett..

[87]  Kelly A. Lyons,et al.  Narratives of space and time: visualization for distributed applications , 1991, CASCON.

[88]  Donald Acton.  A C toolkit to support parallel programming , 1992, CASCON.

[89]  Jacob Slonim,et al.  CAS: a centre for applied research and development , 1992, CASCON.

[90]  Gerald W. Neufeld.  Descriptive name resolution , 1992, Comput. Networks ISDN Syst..

[91]  Henk Meijer,et al.  Computing the Minimum Weight Triangulation of a Set of Linearly Ordered Points , 1992, Inf. Process. Lett..

[92]  Patrick Martin,et al.  Supporting Browsing of Large Knowledge Bases , 1992, DEXA.

[93]  Germán S. Goldszmidt.  Elastic servers in CORDS , 1992, CASCON.

[94]  Gerald W. Neufeld,et al.  Interfacing a Multiprocessor Protocol Engine to an ATM Network , 1992, Protocols for High-Speed Networks.

[95]  Alberto O. Mendelzon,et al.  Visualizing queries and querying visualizations , 1992, SGMD.

[96]  Rajeev Rastogi,et al.  Non-serializable executions in heterogeneous distributed database systems , 1991, [1991] Proceedings of the First International Conference on Parallel and Distributed Information Systems.

[97]  Ferhat Khendek.  Extending distributed system specifications , 1992, CASCON.

[98]  Michael Anthony Bauer,et al.  A simulation model for X.500 directories: initial experiences , 1991, CASCON.

[99]  Gerald W. Neufeld,et al.  A Parallel Approach to OSI Connection-Oriented Protocols , 1992, Protocols for High-Speed Networks.