1438 search results - page 183 / 288 » An Expressive Extension of TLC |
178
click to vote
JLP
2006
15 years 6 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
174
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
High volume print jobs are getting more common due to the growing demand for personalized documents. In this context, Variable Data Printing (VDP) has become a useful tool for mar...
187
click to vote
TKDE
2010
15 years 4 months ago
2010
—We investigate techniques to automatically decompose any XQuery query—including updating queries specified by the XQuery Update Facility (XQUF)—into subqueries, that can be ...
186
click to vote
KI
2007
Springer
16 years 16 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
150
click to vote
DEXA
1999
Springer
15 years 10 months ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...