4008 search results - page 450 / 802 » An expressive language of signatures |
180
click to vote
DAWAK
2005
Springer
16 years 11 days ago
2005
Springer
In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialized integrated database. The schemas of the data sources and the integrated ...
157
click to vote
ECOOP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
177
click to vote
ESOP
2005
Springer
16 years 10 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
177
click to vote
FCT
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
161
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...