ATAL
2015
Springer
8 years 7 months ago
2015
Springer
We describe a framework for top-down centralized self-adaptive MASs where adaptive agents are “protocol-driven” and adaptation consists in runtime protocol switch. Protocol sp...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
One-sided matching is concerned with the allocation of indivisible objects to a set of agents, in the absence of monetary transfers. In contrast to many real-life scenarios such a...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
A key requirement in military simulation is to have executable models of tactical decision-making. Such models are used to simulate the behaviour of human entities such as submari...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
Renewable power sources such as wind and solar are inflexible in their energy production, which requires demand to rapidly follow supply in order to maintain energy balance. Prom...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
In today’s financial markets, algorithmic trading, the use of quantitative algorithms to automate the submission of orders, is responsible for the majority of trading activity....
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
Mechanism design for facility location (or selection of alternatives in a metric space) has been studied for decades. While strategy-proof, efficient mechanisms exist for unconstr...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
Burstiness in queues where customers arrive independently leads to rush periods when wait times are long. We propose a simple signaling scheme to decrease wait times by distributi...
ATAL
2015
Springer
8 years 7 months ago
2015
Springer
The notion of bisimulation has been introduced as a powerful way to abstract from details of systems in the formal verification community. When applying to multiagent systems, cl...