382 search results - page 77 / 77 » Proof Theory for Distributed Knowledge |
EMSOFT
2010
Springer
13 years 3 months ago
2010
Springer
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
SIGECOM
2011
ACM
12 years 8 months ago
2011
ACM
In many settings, a group of agents must come to a joint decision on multiple issues. In practice, this is often done by voting on the issues in sequence. In this paper, we model ...