4211 search results - page 552 / 843 » A formal approach to MASQ |
170
click to vote
ICSE
2004
IEEE-ACM
16 years 2 days ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
179
click to vote
ISOLA
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
205
click to vote
JELIA
2004
Springer
16 years 2 days ago
2004
Springer
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
172
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
164
click to vote
LOPSTR
2004
Springer
16 years 2 days ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...