16216 search results - page 208 / 3244 » Effective Modeling with Constraints |
182
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
156
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
169
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
184
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...
183
click to vote
NJC
2002
15 years 6 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...