179 search results - page 23 / 36 » Lazy Evaluation for OCL |
101
click to vote
ML
2008
ACM
15 years 1 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
122
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
242
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
Streaming XPath evaluation algorithms must record a potentially exponential number of pattern matches when both predicates and descendant axes are present in queries, and the XML ...
110
click to vote
MODELLIERUNG
2010
15 years 3 months ago
2010
: The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be wellplanned, and develope...
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...