Database system concepts
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
On oraclizable networks and Kahn's principle
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
INC: a language for incremental computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimistic parallelization of communicating sequential processes
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
A theory of relaxed atomicity (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Incremental evaluation of rules and its relationship to parallelism
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
An optimistic commit protocol for distributed transaction management
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Hermes: a language for distributed computing
Hermes: a language for distributed computing
Restoring consistent global states of distributed computations
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Optimistic algorithms for distributed transparent process replication
Optimistic algorithms for distributed transparent process replication
Database systems: achievements and opportunities
Communications of the ACM
On rigorous Transaction Scheduling
IEEE Transactions on Software Engineering
SODA '91 Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms
High-level language debugging for concurrent programs
ACM Transactions on Computer Systems (TOCS)
DOODLE: a visual language for object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
The concurrency control problem in multidatabases: characteristics and solutions
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Visualizing queries and querying visualizations
ACM SIGMOD Record
Strategies for distributed search
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
A simple proof of a completeness result for leads-to in the UNITY logic
Information Processing Letters
Computing the minimum weight triangulation of a set of linearly ordered points
Information Processing Letters
Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
Computer Networks and ISDN Systems
Ensuring transaction atomicity in multidatabase systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Parallel bottom-up processing of Datalog queries
Journal of Logic Programming
A convex hull algorithm for discs, and applications
Computational Geometry: Theory and Applications
Parallel computational geometry
Parallel computational geometry
The complexity of computing minimum separating polygons
Pattern Recognition Letters - Special issue on computational geometry
On the feasibility of ISO FTAM-based file servers to implement a heterogeneous file system
Computer Standards & Interfaces
Representing sets with constant time equality testing
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Non-serializable executions in heterogeneous distributed database systems
PDIS '91 Proceedings of the first international conference on Parallel and distributed information systems
Transaction management issues in a failure-prone multidatabase system environment
The VLDB Journal — The International Journal on Very Large Data Bases
Incremental Recovery in Main Memory Database Systems
IEEE Transactions on Knowledge and Data Engineering
Parallel Hash-Based Join Algorithms for a Shared-Everything Environment
IEEE Transactions on Knowledge and Data Engineering
Extending Typestate Checking Using Conditional Liveness Analysis
IEEE Transactions on Software Engineering
Unilateral Commit: A New Paradigm for Reliable Distributed Transaction Processing
Proceedings of the Seventh International Conference on Data Engineering
An Analysis Technique for Transitive Closure Algorithms: A Statistical Approach
Proceedings of the Seventh International Conference on Data Engineering
Search Operations on Distributed Directories
ICCI '92 Proceedings of the Fourth International Conference on Computing and Information: Computing and Information
Low Complexity Aggregation in GraphLog and Datalog
ICDT '90 Proceedings of the Third International Conference on Database Theory
A Parallel Approach to OSI Connection-Oriented Protocols
Proceedings of the IFIP WG6.1/WG6.4 Third International Workshop on Protocols for High-Speed Networks III
Putting the Transport Layer on VLSI - the PROMPT Protocol Chip
Proceedings of the IFIP WG6.1/WG6.4 Third International Workshop on Protocols for High-Speed Networks III
A Multi-Resolution Relational Data Model
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Distributed Programming Environment: Challenges
Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
Interfacing a Multiprocessor Protocol Engine to an ATM Network
Proceedings of the IFIP WG6.1/WG6.4 Third International Workshop on Protocols for High-Speed Networks III
A notation for specifying test selection criteria
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
The Parallel Protocol Framework
The Parallel Protocol Framework
The Raven System
The UBC OSI Distributed Application Programming Environment
The UBC OSI Distributed Application Programming Environment
Towards a new distributed programming environment (CORDS)
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Control and responsiveness in Hermes
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Supporting database access in the Hermes programming language
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Transaction management in Hermes
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Nestmod: the NetMod - NEST interface
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A simulation model for X.500 directories: initial experiences
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Name space models for locating services
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A service acquisition mechanism for the client/service model in cygnus
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Network management by delegation: the MAD approach
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Narratives of space and time: visualization for distributed applications
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Cluster busting in anchored graph drawing
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A prototype debugger for Hermes
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
CAS: a centre for applied research and development
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Challenges in graph-based relational data visualization
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Architecture of the XL C++ browser
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A C toolkit to support parallel programming
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Multidatabase services: issues and architectural design
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A concurrency control protocol for nested transactions
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A transactional API for the EAN X.500 directory service
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Open nested serializability in multidatabase systems
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Query optimization in multidatabase systems
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Issues in managing long transactions and large objects in a multidatabase system
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Classifying approaches to semantic heterogeneity in multidatabase systems
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
The role of directory services in network management
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
The optimal placement of replicas in a network using a READ ANY - WRITE ALL policy
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
NESTMOD simulation of DQDB metropolitan networks
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Optimistic replication in HOPE
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Extending distributed system specifications
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Analytic methods in coverage testing of communications software
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Directory requirements for a multidatabase service
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A formalization of the CORDS Process Model using Mondel
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Distributed Computing
An efficient expected cost algorithm for dynamic indexing of spatial objects
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
An integrated architecture for distributed applications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Database integration using multidatabase views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Logical concurrency control for large objects in a multidatabase system
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Architecture for transaction management in the CORDS multidatabase service
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Hi-index | 0.00 |