1624 search results - page 121 / 325 » Fairness in multi-agent systems |
166
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
284
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We address the issue of measuring storage, or query load distribution fairness in peer-to-peer data management systems. Existing metrics may look promising from the point of view ...
162
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
: This paper explores the potential gain of joint diversity in both frequency domain and time domain which can be exploited to achieve spectral efficiency gains whilst simultaneous...
146
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A relay system where two users are served by one Base Station (BS) and one Relay Station (RS) is focused on. A scheme based on Superposition Coding (SC) for Decodeand-Forward (DF)...
174
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...