Masking fault-tolerance guarantees that programs continually satisfy their specii-cation in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guarantee as much: it merely guarantees that when faults stop occurring, program executions converge to states from where programs continually (re)satisfy their speciication. We present in this paper a component based method ...

A number of rules for proving shared-state programs totally correct with respect to both weak and strong process fairness is presented. The rules are compositional | thus they allow for design in a top-down style. On the other hand, already nished programs can beveriied without the use of program transformation.

2 3 FOREWORD Government regulations can have both positive and negative effects on the innovation process. Among other goals, regulatory reform in the OECD countries is intended to enhance the positive regulatory effects on innovation. Reforms should help ensure that regulations in all spheres of activity are fully responsive to changes in the economic, social and technical conditions surroundi...

John Martin has written an excellent overview paper on the nature, role and consequences of active labour market policies. He considers the (strong) rationale for active versus passive labour market expenditure, describes the main results from an extensive evaluation literature, and offers practical suggestions concerning successful program design. I am confident that the paper will become a wi...

This paper sets to investigate the responses of the Greek and Irish social actors (trade unions, employers’ organizations, public agencies) to the youth unemployment which has severely risen in both countries after the outbreak of the economic crisis (OECD, 2009). The rationale behind the comparative perspective stems from our intention to investigate how the institutional structures and the in...

Mobile systems operate in a resource-scarce environment and thus must adapt to external conditions; all layers must make cost-based decisions about what mode of operation to use in response to performance feedback. This paper focuses on the generic interface between adjacent layers (client and server) in a multi-level hierarchy. The Adaptive Research Contracts (ARC) framework uses a bottom-up a...

a shortcut procedure as quick, easy-to use method for design and simulation of multicomponent batch distillation is used to predict the operating condition of recovering xylene from solvent in an existing batch distillation column in benzol refinery. the procedure can be used to investigate the effect of the operating parameters on the operation of column for three possible modes of batch disti...

the use of micro-controllers in actuators provides extended flexibility for on-line data acquisition and sophisticated control implementation. however, attempts to utilize the excellent features of induction motor that is deemed by its strength, robustness, high torque, and relatively low cost in actuators face a fundamental control design challenge. the purpose of this paper is to introduce th...