2608 search results - page 92 / 522 » Subjects, Models, Languages, Transformations |
151
click to vote
EFDBS
2000
15 years 7 months ago
2000
A main problem of data integration is the treatment of conflicts caused by different modeling of real-world entities, different data models or simply by different representations ...
147
click to vote
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
123
click to vote
LREC
2010
15 years 7 months ago
2010
Language resources can be classified under several categories. To be able to query and operate on all (or most of) these categories using a single digital tool would be very helpf...
171
click to vote
ENTCS
2002
15 years 5 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
179
click to vote
PPDP
2007
Springer
15 years 12 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...