512 search results - page 50 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
124
Voted
NCA
2007
IEEE
15 years 8 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
149
click to vote
IJIIDS
2008
15 years 1 months ago
2008
: Growing importance of distributed data mining techniques has recently attracted attention of researchers in multiagent domain. Several agent-based application have been already c...
109
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the multi-agent pathfinding problem, groups of agents need to plan paths between their respective start and goal locations in a given environment, usually a two-dimensional map...
107
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
110
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...