When an individual carries an object, such as a briefcase, conventional gait recognition algorithms based on average silhouette/Gait Energy Image (GEI) do not always perform well as the object carried may have the potential of being mistakenly regarded as a part of the human body. To solve such a problem, in this paper, instead of directly applying GEI to represent the gait information, we prop...

Uninformed investors facing future carrying cost (liquidity) shocks determine primary market prices for asset-backed securities. A liquidity provider subsequently buys tendered securities in competitive secondary markets. Liquidity provision is distorted by a speculator receiving a private signal regarding cash flow. Optimal structuring minimizes total trading loss and carrying cost discounts d...

An integrated production/delivery quantity model in a make-to-order producer–buyer supply chain is analyzed in this paper. The coordinated policy is achieved by scheduling single setup at the producer with multi-delivery to the buyer. We develop two synchronized cost models that include setup cost at the producer, ordering cost at the buyer, inventory carrying cost, and transportation cost that...

Proof-carrying code (PCC) provides a “gold standard” for establishing formal and objective confidence in program behavior. However, in order to extend the benefits of PCC – and other formal certification techniques – to realistic systems, we must establish the correspondence of a mathematical proof of a program’s semantics and its actual behavior. In this paper, we argue that assurance cases ar...

The rapid growth of the Internet has resulted in increased attention to security to protect users from being victims of security threats. In this paper, we focus on security mechanisms that are based on Proof-Carrying Code (PCC) techniques. In a PCC system, a code producer sends a code along with its safety proof to the consumer. The consumer executes the code only if the proof is valid. Althou...