PAAMS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. The environment, as a space shared between agents, is a key component of multiagent systems (MAS). Depending on systems, this space may integrate physical, communication ...
PAAMS
2015
Springer
8 years 6 months ago
2015
Springer
The objectives of this research are to further investigate the foundations for novel SMT and SAT-based bounded model checking (BMC) algorithms for real-time and multiagent systems...
P2P
2015
IEEE
8 years 6 months ago
2015
IEEE
—Online social networks have emerged as a main tool to communicate in the Internet. While centralized solutions are prone to censorship, privacy violations and unwanted marketing...
P2P
2015
IEEE
8 years 6 months ago
2015
IEEE
— Peer-to-peer live streaming systems involve complex engineering and are difficult to test and to deploy. To cut through the complexity, we advocate such systems be by composin...
OZCHI
2015
ACM
8 years 6 months ago
2015
ACM
Different graph layouts can affect a user’s ability to complete both passive understanding and active interaction tasks. While most research exploring the effects of graph la...
OZCHI
2015
ACM
8 years 6 months ago
2015
ACM
OZCHI
2015
ACM
8 years 6 months ago
2015
ACM
OZCHI
2015
ACM
8 years 6 months ago
2015
ACM
OZCHI
2015
ACM
8 years 6 months ago
2015
ACM
When a player is killed in DayZ, they lose their character with all its advancement, often equivalent to weeks of play; an enormously frustrating and demoralising experience. Howe...
AMI
2015
Springer
8 years 6 months ago
2015
Springer
This work introduces CAmIE, an agent-based model for the bottom-up development of large-scale AmI environments. It offers tools to easily develop AmI applications and, while not v...