almost every experinced manager has been faced with the necessity of dealing with the problems of productivity in connection with wages and salaries. during the last two decades, governments, cultural centers, managers and ::::union::::s have focused their attention on productivity as an important subject and there have been many articles emphasizing the linkage between wages and productivity a...

In this paper, we examine the concept of giving every job a trial run before committing it to run until completion. Trial runs allow immediate job failures to be detected shortly after job submission and benefit short jobs by letting them run and finish early. This occurs without incurring a significant penalty on longer jobs, whose average and maximum waiting time are actually improved in some...

A methodology was developed for diagnosing industrial work, which includes questionnaire, observation, measurements, data collection and statistical analysis. A survey was conducted to investigate the relationship between job satisfaction and factors that affect work design in 2 automotives manufacturing companies in Malaysia. A basic work design model was proposed. The aim of this model was to...

We describe rippling: a tactic for the heuristic control of the key part of proofs by mathematical induction. This tactic signiicantly reduces the search for a proof of a wide variety of inductive theorems. We rst present a basic version of rippling, followed by various extensions which are necessary to capture larger classes of inductive proofs. Finally, we present a general-ised form of rippl...

The driving force of corrections is the staff of correctional facilities. It is important to understand how the work environment shapes the attitudes of correctional staff; yet, the effect of job involvement on correctional employees has received little, if any, attention. Most of the research to date has focused on job stress and job satisfaction among correctional staff. Only recently has the...

Using a national sample, this study investigated the effects of unemployed workers' coping resources and coping strategy use on reemployment after a three-month period. Based on previous research, it was expected that (1) three types of coping resources (self-esteem, social support, and financial resources) would be positively related to problem-focused coping with job loss, (2) coping resource...

This paper provides a Z specification for the Software Architectural Tactics of Authentication and Authorization for the Security Quality Attribute. A model of a system is created and each tactic is defined with respect to the model. Each tactic is independent however, the system encompasses all the required functionality for all the tactics.