Sciweavers

8501 search results - page 177 / 1701
» Reactive process networks
Sort
View
150
Voted
DIGRA
2005
Springer
15 years 9 months ago
A Realistic Reaction System for Modern Video Games
The substantial growth of the video game industry has fueled a search for new technologies and methodologies for providing rich and rewarding experiences for players of modern vid...
Michael Katchabaw, Stephen Danton, Leif Gruenwoldt
POLICY
2005
Springer
15 years 9 months ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...
ATAL
2004
Springer
15 years 9 months ago
Embedded Agents for District Heating Management
We investigate the applicability of multi-agent systems as a control approach for district heating systems. The consumers, i.e., the heat exchange systems, in current district hea...
Paul Davidsson, Fredrik Wernstedt
CONCUR
2004
Springer
15 years 9 months ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada
SAC
2010
ACM
15 years 9 months ago
Chemical-inspired self-composition of competing services
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
Mirko Viroli, Matteo Casadei