5180 search results - page 130 / 1036 » Concurrency, Time, and Constraints |
168
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality constraint is an ...
170
click to vote
DAWAK
2009
Springer
15 years 11 months ago
2009
Springer
Frequent constraint violations on the data stored in a database may suggest that the semantics of the represented reality is changing. In this work we propose a methodology and a t...
161
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
169
click to vote
HPDC
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract Metacomputing is the seamless application of geographically-separated distributed computing resources to user applications. We consider the scheduling of metaapplications;...
171
click to vote
AAAI
1994
15 years 7 months ago
1994
Many real-life Constraint Satisfaction Problems (CSPs) involve some constraints similar to the alldifferent constraints. These constraints are called constraints of difference. Th...