2273 search results - page 225 / 455 » On the Expressiveness and Complexity of ATL |
140
click to vote
CPAIOR
2004
Springer
15 years 12 months ago
2004
Springer
This paper shows that existing definitions of costs associated with soft global constraints are not sufficient to deal with all the usual global constraints. We propose more expre...
192
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
161
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
In spite of the great research effort made in Grid technology in the last years, application development and execution in the Grid continue requiring a high level of expertise due...
192
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
144
click to vote
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...