In this paper, we present a formal model of computer security based on the universal Turing machine. This model allows us to conclude that given a machine and policy, the problem of determining if that machine is secure is not recursively enumerable. However, two related problems are solvable. The inverse problem of determining if a machine is insecure is recognizable. Additionally, determining...

Computer graphics consists of two main activities: modeling, which is the science of making mathematical abstractions of objects, and rendering or visualization, in which images are made from the mathematical abstractions. In this talk, teleological modeling is presented, a developing approach for creating abstractions and mathematical representations of physically realistic time-dependent obje...

Abstract. Modelling and Simulation is a discipline for developing a level of understanding of the interaction of the parts of a system, and of the system as a whole. The level of understanding which may be developed via this discipline is seldom achievable via any other discipline. A simulation is the manipulation of a model in such a way that it operates on time or space to compress it, thus e...

Abstract We use mathematical modeling methods to incorporate new elements into the computer graphics technology and visual communication design process. This method realizes of a image system. uses artificial vision model extracts local features. The micro-partial equation obtains background reference line target point in sequence complete suppression spatio-temporal domain. experimental result...