4143 search results - page 545 / 829 » A theory of distributed aspects |
165
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
202
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
173
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
Dynamic networks appear in several contexts: QoS routing faces the difficult problem of accurately and efficiently maintaining, distributing and updating network state information...
156
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
182
click to vote
DIALM
2008
ACM
15 years 8 months ago
2008
ACM
In this work we analyze the complexity of local broadcasting in the physical interference model. We present two distributed randomized algorithms: one that assumes that each node ...