IT systems with advanced security requirements increasingly apply problem-specific security policies for describing, analyzing, and implementing security properties. Security policies are a vital part of a system’s trusted computing base (TCB). Hence, both correctness and tamper-proofness of a TCB’s implementation are essential for establishing, preserving, and guaranteeing a system’s security ...

Despite the growing concern of water companies throughout the world to have available water resources, which is strongly related to leakage control is not always properly considered within water management companies. Nowadays, the continuous monitoring of water distribution systems is a prerequisite towards the rapid and efficient detection of any abnormal situation. Within European Union prior...

‘a-jr ‘it! V V ITHIN the Federal Reserve System, the body that determines the nation’s monetary policy is the Federal Open Market Committee (FOMC). The FOMC meets several times each year, specifying targets for the federal funds rate and money growth over the period until the next scheduled meeting.’ Twice each year, in February and July, the FOMC also announces its annual objectives for growth...

background: several reservoir systems have been constructed for hydropower generation around the world. hydropower offers an economical source of electricity with reduce carbon emissions. therefore, it is such a clean and renewable source of energy. reservoirs that generate hydropower are typically operated with the goal of maximizing energy revenue. yet, reservoir systems are inefficiently ope...

Standard operating policy and hedging policies are commonly used for reservoir operation for municipal or irrigation water supply. Application of these policies to hydropower reservoir operation is complex. In this paper, new standard operating policies and standard hedging policy are proposed for hydropower reservoir operation. The newly proposed policies were applied to the operation of Indir...

It is possible to distinguish between policy and mechanism in operating system design. There is a trend to move policy out of the operating system kernel and into the user-level. This trend is described with respect to example operating system types. A system is proposed which takes this policy/mechanism split to the extreme of having the operating system kernel reduced to a hardware object whi...