1624 search results - page 141 / 325 » Fairness in multi-agent systems |
182
Voted
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
157
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
We propose an efficient blind certification protocol with interesting properties. It falls in the Groth-Sahai framework for witness-indistinguishable proofs, thus extended to a ce...
226
Voted
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Computational grids offer users a simple access to tremendous computer resources for solving large scale computing problems. Traditional performance analysis of scheduling algorit...
214
Voted
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...
160
click to vote
ADAEUROPE
2009
Springer
16 years 1 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...