4767 search results - page 136 / 954 » Structures for Abstract Rewriting |
115
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
145
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
140
click to vote
AGP
1999
IEEE
15 years 6 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
122
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
In this paper we present a mechanism for translating constraint queries, i.e., Boolean expressions of constraints, across heterogeneous information sources. Integrating such syste...
145
Voted
RTA
1995
Springer
15 years 5 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...