2944 search results - page 378 / 589 » On Well Quasi-orders on Languages |
148
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
160
click to vote
ICSM
1996
IEEE
15 years 10 months ago
1996
IEEE
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
138
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
Collaborative systems provide a rich but potentially chaotic environment for their users. This paper presents a system that allows users to control collaboration by enacting polic...
198
click to vote
SIGMOD
1993
ACM
15 years 10 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
153
click to vote
MPC
1992
Springer
15 years 10 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...