Results 241 to 250 of about 2,702 (264)
Some of the next articles are maybe not open access.

Fairness in Temporal Verification of Distributed Systems

2018
The verification of deadlock freeness and distributed termination in distributed systems by Dedan tool is described. In Dedan, the IMDS formalism for specification of distributed systems is used. A system is described in terms of servers’ states, agents’ messages, and actions.
openaire   +1 more source

Procedural and Distributive Fairness: Determinants of Overall Price Fairness

Journal of Business Ethics, 2013
Pam Scholder Ellen   +2 more
exaly  

Hotel Cancelation Policies, Distributive and Procedural Fairness, and Consumer Patronage: A Study of the Lodging Industry

Journal of Travel and Tourism Marketing, 2015
Jean-Pierre Van Der Rest   +2 more
exaly  

Home - About - Disclaimer - Privacy