Under cutoff and threshold priority policies, we mathematically formulate a prioritized channel allocation problem which is combinatorial in nature. We then reduce that problem using the concept of pattern, and apply a simulated annealing approach to the reduced problem. Computational experiments show that our method works very well and the cutoff priority policy outperforms the non-prioritized...

background: world health organization (who) defines three goals to assess the performance of a health system: the state of health, fairness in financial contribution and responsiveness. we assessed the responsiveness of health system for patients with diabetes in a defined population cohort in tehran, iran. methods: total responsiveness and eight domains (prompt attention, dignity, communicatio...

In this paper we present the logic MP⊏ that explicates reasoning on the basis of prioritized obligations. Although formal criteria to handle prioritized obligations have been formulated in the literature, little attention has been paid to the actual (non-monotonic) reasoning that makes use of these criteria. The dynamic proof theory of MP⊏ fills this lacuna. This paper focuses on premise sets c...

A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment suitable for real-time applications but impose a higher message passing overhead than our approach. We present a new protocol for prioritized mutual exclusion in a distributed environment. Our approach uses a token-ba...

In a previous paper Low91] we presented two new models of timed CSP. The rst model included biased operators in the syntax, which could be used to model diierent priorities on actions. The second model extended this by adding a probabilistic choice operator to the syntax; this allowed us to give a semantics which modelled the probabilities of diierent behaviours occurring. In Low92b] we present...

An important problem in data and knowledge representation is the possibility of default rules that conflict. If the application of both of two default rules leads to a contradiction, they cannot both be applied. Systems that support the use of default rules may either remain indifferent or prioritize one rule over the other. In this paper a prioritized version of autoepistemic logic is presente...