Fairness properties, which state that a sequence of bad events cannot happen infinitely before good event takes place, are often crucial in program verification. However, general methods for expressing and reasoning about various kinds fairness properties relatively underdeveloped compared to those safety properties. This paper proposes FOS (Fair Operational Semantics), theory capable arbitrary...

this study presents a comparison between aluminum and iron plate electrodes on phosphate removal from aqueous solutions by electrocoagulation process. the effectiveness of main operational parameters such as initial ph, initial phosphate concentration and current density were examined. in addition, treated solution and sludge characteristics, energy consumption and electrode mass depletion w...

‎a numerical technique based on the collocation method using legendre multiwavelets are‎‎presented for the solution of forced duffing equation‎. ‎the operational matrix of integration for‎‎legendre multiwavelets is presented and is utilized to reduce the solution of duffing equation‎‎to the solution of linear algebraic equations‎. ‎illustrative examples are included to demonstrate‎‎the validity...

Financial Statement of a company is a reflection of the operational and financial position of a company. The comparative analysis of two companies similar in nature, size, work, location and objectives etc., facilitates an understanding of the operational and financial soundness of the companies. The Kingdom of Saudi Arabia is aiming for rapid industrialization in its economy. Sahara Petrochemi...

introduction: this research investigated the factors affecting implementation of activity based costing (abc) in operational budgeting of government agencies in isfahan province. methods: being an applied, cross-sectional and descriptive research, this study made use of a questionnaire for gathering data. governmental agencies that used provincial budget in isfahan province in 1388 comprised th...

nowadays, advances in information and communication technologies, has provided an opportunity for banks to provide their electronic services to their customers in remote areas. this technological innovation by e–banking systems has brought about many benefits to customers while it has been accompanied by a number of risks including the operational ones. this risks need to be identified and mana...