6756 search results - page 28 / 1352 » Distributed Shared State |
ECOOPW
1997
Springer
15 years 3 months ago
1997
Springer
CMA
2011
14 years 3 months ago
2011
205
Voted
POPL
2009
ACM
16 years 12 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Groups of collaborative agents within organizations need to create group awareness in order to act as a single entity. The notion of collective belief, which has been used extensi...
81
Voted
AAAI
2007
15 years 2 months ago
2007
State estimation in multiagent settings involves updating an agent’s belief over the physical states and the space of other agents’ models. Performance of the previous approac...