With the spread use of the computers, a new crime space and method are presented for criminals. Computer evidence plays a key part in criminal cases. Traditional computer evidence searches require that the computer specialists know what is stored in the given computer. Binary-based information flow tracking which concerns on the changes of control flow is an effective way to analyze the behavio...

We define continuous and inverse shadowing for flows and prove some properties. In particular, we will prove that an expansive flow without fixed points on a compact metric space which is a shadowing is also a continuous shadowing and hence an inverse shadowing (on a compact manifold without boundary).

The minimal control principle (Taatgen, 2007) predicts that people strive for problemsolving strategies that require as few internal control states as possible. In an experiment with the Abstract Decision Making task (ADM task; Joslyn & Hunt, 1998) the reward structure was manipulated to make either a low-control strategy or a high-strategy more feasible. The results show that most participants...

Previous studies of Internet traffic have shown that a very small percentage of flows consume most of the network bandwidth. It is important to understand the characteristics of such flows for traffic engineering and modeling purposes. Several prior researchers have characterized such flows using different classification schemes: by size as elephant and mice; by duration as tortoise and dragonf...

Flow control refers to the idea of analyzing and modifying the behavior of fluid flows in order to achieve a desired outcome. In this paper we review the history and current state of the art in flow control. Various past and present techniques are categorized and discussed.

In many compilers, control flow is represented using an arbitrary directed graph. But in some interesting target languages, including JavaScript and WebAssembly, intraprocedural can be expressed only structured ways, loops, conditionals, multilevel breaks or exits. As was shown by Peterson, Kasami, Tokura 1973, such obtained translating flow. The translation uses two standard analyses, but as p...

In capital budgeting problems future cash–flows are discounted using the expected one period returns of the investment. In this paper we establish a theory that relates this approach to the assumption that markets are free of arbitrage. Our goal is to uncover implicit assumptions on the set of cash–flow distributions that are suitable for the capital budgeting method. As results we obtain that ...

For the study of transients in gas-liquid flows, the equations of the so-called separated flow model are inadequate, because they possess, in the general case where gas and liquid move at different velocities, complex characteristics. This paper is concerned with the equations of motion for bubbly flow. The equations are discussed with emphasis on the aspects of relative motion and the characte...

We present a parameterized widening operator that determines the control-flow sensitivity of an analysis, i.e., its flow-sensitivity, context-sensitivity, and path-sensitivity. By instantiating the operator’s parameter in different ways, the analysis can be tuned to arbitrary sensitivities without changing the abstract semantics of the analysis itself. Similarly, the analysis can be implemented...

The fluid flow control systems can be classified depending on the type of pressure source, on the pipe system structure and on the control element. Depending on the pressure source type, the flow control systems can be equipped with centrifugal pumps or volumetric pumps. Concerning the pipe structure, the flow control systems can be used within the hydraulic systems with branches or without bra...