179 search results - page 19 / 36 » Lazy Evaluation for OCL |
126
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we propose a new dynamic and efficient bounding volume hierarchy for breakable objects undergoing structured and/or unstructured motion. Our object
172
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
162
click to vote
ENTCS
2000
15 years 5 months ago
2000
We develop, in a stepwise fashion, a set of parser combinators for constructing deterministic, error-correcting parsers. The only restriction on the grammar is that it is not left...
178
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
143
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Distributed JVM systems enable concurrent Java applications to transparently run on clusters of commodity computers by supporting Java’s shared-memory model over multiple JVMs di...