599 search results - page 10 / 120 » Interpreting the Object Constraint Language |
ECOOP
1993
Springer
14 years 1 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
TCS
2008
13 years 9 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
CINQ
2004
Springer
14 years 3 months ago
2004
Springer
Spatial data mining is a process used to discover interesting but not explicitly available, highly usable patterns embedded in both spatial and nonspatial data, which are possibly ...
HYBRID
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
JUCS
2010
13 years 8 months ago
2010
: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In ...