3161 search results - page 526 / 633 » Documenting framework behavior |
115
Voted
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
135
Voted
INTETAIN
2005
Springer
15 years 8 months ago
2005
Springer
We present COHIBIT, an edutainment exhibit for theme parks in an ambient intelligence environment. It combines ultimate robustness and simplicity with creativity and fun. The visit...
127
click to vote
MATES
2005
Springer
15 years 8 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
141
click to vote
NOSSDAV
2005
Springer
15 years 8 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
121
click to vote
ROBOCUP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Coordination graphs offer a tractable framework for cooperative multiagent decision making by decomposing the global payoff function into a sum of local terms. Each age...