2911 search results - page 335 / 583 » A Theory of Expressiveness in Mechanisms |
136
click to vote
CCL
1994
Springer
15 years 6 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
113
click to vote
ECBS
2009
IEEE
15 years 5 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
180
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
112
click to vote
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
132
click to vote
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...