As appeared in Computer Communications WW lodek Dobosiewicz Pawee l Gburzy nski y Vincent Maciejewski z present a model for measuring the fairness in LANs and MANs. Abstract Fairness of very high-speed networks became a focus of interest since the moment Distributed Queue Dual Bus (dqdb) gained popularity. Several papers exposed its unfairness; at the same time, many researchers argued that thi...

Formal verification methods model systems by Kripke structures. In order to model live behaviors of systems, Kripke structures are augmented with fairness conditions. Such conditions partition the computations of the systems into fair computations, with respect to which verification proceeds, and unfair computations, which are ignored. Reasoning about Kripke structures augmented with fairness i...

In paper [1], a liveness proof method suitable for inductive protocol verification is proposed. The utility of this method has been confirmed by several machine checked formal verifications[2–4]. One remaining question about [1] is the meaning of Parametric Fairness, a new fairness notion adapted from Pnueli’s Extreme Fairness[5] to suit the setting of higher-order logic. This paper tries to an...

Real-time, online multi-player games are becoming increasingly popular due to advances in game design and the proliferation of broadband Internet access. However, fairness remains a major challenge when players over large geographic areas participate in a client-server based game together. This paper proposes a game-independent, networkbased service, called Sync-MS, that balances the trade-off ...

The paper proposes a rational method to derive fairness measures for surfaces. It works in cases where isophotes, reflection lines, planar intersection curves, or other curves are used to judge the fairness of the surface. The surface fairness measure is derived by demanding that all the given curves should be fair with respect to an appropriate curve fairness measure. The method is applied to ...

Of all the issues that employees consider in organizational life, justice and fairness are among the most salient. Justice reflects the perceived adherence to rules that represent appropriateness in decision contexts (e.g., equity, consistency, respect, truthfulness). Fairness reflects a more global perception of appropriateness that lies downstream of justice. Our review integrates justice the...

Prior research has shown that procedural fairness interacts with outcome fairness to influence employees' work attitudes (e.g., organizational commitment) and behaviors (e.g., job performance, organizational citizenship behavior), such that employees' tendencies to respond more positively to higher procedural fairness are stronger when outcome fairness is relatively low. In the present studies,...

With the development of e-commerce, many wholesale suppliers establish direct channels competing with their retailers. Such competition is often referred to as supplier encroachment. Previous studies assume the perfect rationality of retailers. However, supplier encroachment may trigger the fairness concerns of the retailers as a supplier is also a competitor of its retailer if the supplier enc...

Recent literature on computational notions of fairness has been broadly divided into two distinct camps, supporting interventions that address either individual-based or group-based fairness. Rather than privilege a single de€nition, we seek to resolve both within the particular domain of employment discrimination. To this end, we construct a dual labor market model composed of a Temporary Labo...

Round Trip Time (RTT) estimation is an important variable for efficient fairness bandwidth flows of different RTT. This paper propose a stabilized rate scheme to enhance the RTT fairness on high speed Transmission Control Protocols (TCP) namely BIC-TCP, FAST, H-TCP and LTCP. The rate of window growth is stabilized in high speed protocols from the current window size, such that competing flows a...