3765 search results - page 454 / 753 » Qualitative Action Systems |
193
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
170
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
177
click to vote
ROBOCUP
2005
Springer
16 years 8 days 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...
237
click to vote
TCGOV
2005
Springer
16 years 8 days ago
2005
Springer
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...
174
click to vote
DFG
2004
Springer
16 years 5 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...