2944 search results - page 419 / 589 » On Well Quasi-orders on Languages |
195
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
182
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
183
click to vote
ALT
1998
Springer
15 years 10 months ago
1998
Springer
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of recursive languages (by definition) ...
178
click to vote
SIGMOD
1996
ACM
15 years 10 months ago
1996
ACM
METU INteroperable Database System (MIND) is a multidatabase system that aims at achieving interoperability among heterogeneous, federated DBMSs. MIND architecture is based on OMG...
187
click to vote
OOPSLA
1997
Springer
15 years 10 months ago
1997
Springer
ed Abstract Factory is yet another. When patterns cooperate, the cooperation itself can give rise to problems, contexts, trade-offs, and consequences. For instance, should a Visito...