Component-based design is widely used in embedded software design, where a new component can be generated by composing existing components. However a composition does not always generate a valid component. We define a composition to be valid with respect to a property if the composition preserves that property under certain context. In order to reason about whether a composition is valid, we ne...

the paper has been performed to review library administrators' strategic planning role to improve the library staff of medical sciences university of iran. the study is survey-descriptive. the statistical population consists of 50 library administrators working in iran medical sciences university, but 44 subjects responded to the questionnaire used to gather data. the reliability (91.7%) w...

Imposed Benefit Sanctions and the Unemployment-toEmployment Transition: The German Experience We analyze the effect of imposed benefit sanctions on the unemployment-to-employment transition of unemployed people entitled to unemployment compensation on the basis of register data from the German Federal Employment Agency. We combine propensity score matching with a discrete-time hazard rate model...

achieving the organizational objectives needs employees’ behavior and their collaboration with management. strategic behavior-driven is depend on different factors. the aim of this article is to determine the impact of factors on strategic behavior-driven. a conceptual model was developed and tested on a survey in social insurance company of tehran which employees’ participated. data collected ...

ITH the enactment of the Social Security Amendments of 1954, five different formulas for the determination of benefit amounts under the old-age and survivors insurance program have been in existence. This article will describe the several formulas and then analyze how they would apply to I various illustrative wage histories. For these purposes the benefit formula will be construed broadly to’ ...