Gödel-Dummett logic LC and its finite approximations LCn are the intermediate logics complete w.r.t. linearly ordered Kripke models. In this paper, we use LCn logics as a tool to bound resource consumption in some process calculi. We introduce a non-deterministic process calculus where the consumption of a particular resource denoted • is explicit and provide an operational semantics which meas...

background and purpose: the emergency severity index (esi) triage system has been recommended by the ministry of health to classify patients at emergency departments. this study aimed to assess the validity of esi system (version 4) in the emergency department of a teaching hospital. outcome measures were hospitalization, emergency department (ed) length of stay, resource consumption, in-hospit...

Here I draw attention to two socio-ecological paradoxes. The Jevons Paradox is based on the observation that an improvement in the efficiency with which a natural resource is used is often associated with an increase in the consumption of that resource. Similarly, the Paperless Office Paradox is based on the observation that the development of substitutes for a natural resource is not always as...

Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of algorithms (benchmarking). Moreover, extensible middleware may exploit resource consumption information in order to detect a resource overuse of client components (detection of denial-of-service attacks) or to charge c...

Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consumed on any path in the system is bounded, then the model-checking problem for several standard logics, such as Resource-Bounded Coalition Logic (RB-C...

The impending energy and natural resource crisis forces us to research innovative ways of optimizing our resource consumption. Recent studies have shown that a better understanding of an individual’s energy consumption helps people to lower their energy footprint significantly. We propose SPOTLIGHT, a system that profiles an individual's natural resource consumption pattern in real time using w...