In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with explicit substitution. All three calculi enable explicit control of resources due to the presence of weakening and contraction operators. Along this journey, we propose intersection type assignment systems for all thre...

Based on the strong similarities between energy-resource-poor and fossil-fuel-centered economies (e.g., Taiwan, Japan, South Korea) in terms of economy, culture, energy usage characteristics, they should be analyzed collectively. This study adopted two-tier input-output structural decomposition analysis to identify driving forces behind CO2 emissions these countries formulation effective enviro...

A model of time-consistent procrastination is developed to assess the extent to which the observed behavior is compatible with rational behavior. When a finite work requirement must be completed by a deadline, the remaining time for leisure is an exhaustible resource. With a positive rate of time preference, the optimal allocation of this resource results in more hours spent working (and fewer ...

W e show simple yet optimal results to update the inventory/capacity levels, expected profit, fill rates, and service levels of substitutable resources in response to an updating of the mean demand forecasts for the resources. We find that a change in the mean demand of one resource does not affect the optimal inventory level of any other resource. The results are obtained for demands with loca...

The incorporation of ecological objectives in the design of information systems has gained increasing attention by IS research in recent years. Nevertheless, from the perspective of IT Service Management (ITSM), comprehensive approaches are still warranting attention. The objective of this paper is therefore to develop a process for the management of ecology in ITSM. By using the method of refe...

A number of oil market experts argue that OPEC members substantially overreport their reserves. The potential damage for the world economy calls for an analysis of the motives and the preconditions for successful misreporting of natural resource reserves. Based on a signalling game within an international trade model, this article develops a framework for such an analysis. Exporting countries w...

Despite the fact that approximate computations have come to dominate many areas of computer science, the field of program transformations has focused almost exclusively on traditional semanticspreserving transformations that do not attempt to exploit the opportunity, available in many computations, to acceptably trade off accuracy for benefits such as increased performance and reduced resource ...

workflow, resource, policy, interval-based, query rewriting This paper proposes a new method to handle policies in Resource Management of Workflow Systems. Three types of policies are studied including qualification, requirement and substitution policies. The first two types of policies map an activity specification into constraints on resources that are qualified to carry out the activity. The...

The statechart formalism allows for the specification of behaviour models of complex, reactive systems. It is employed in the embedded systems domain to specify and verify applications at design time. By enabling the interpretation of formalised behaviour models one earns the favourable abilities of application behaviour inspection, control, and substitution at runtime. One of the major argumen...