2911 search results - page 185 / 583 » A Logic of Graph Constraints |
223
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
157
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
194
click to vote
JAIR
2000
15 years 6 months ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
173
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
164
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
{ This paper presents a new approach to local instruction scheduling based on integer programming that produces optimal instruction schedules in a reasonable time, even for very la...