Verifying abstract information flow properties in fault tolerant security devices

The verification of information flow properties of security devices is difficult because it involves the analysis of schematic diagrams, artwork, embedded software, etc. In addition, a typical security device has many modes, partial information flow, and needs to be fault tolerant. We propose a new approach to the verification of such devices based upon checking abstract information flow properties expressed as graphs. This approach has been implemented in software, and successfully used to find possible paths of information flow through security devices.

Abstract specification in Object-Z and CSP

A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.

An examination of the effect of sponsorship stimuli on consumer perceptions of concrete and abstract brand attributes

A Solomon four-group experiment, controlling for order effects, examined the effect of a sponsorship stimulus on consumers’ perceptions of concrete and abstract brand attributes. Results for this study suggested that consumers who are aware of an association between an event sponsorship and a brand demonstrate more favorable perceptions of abstract brand attributes than those who are unaware of such an association. The same favourable perceptions were not found for concrete brand attributes.

Differential Equations in Abstract Cones

We extend the method of quasilinearization to differential equations in abstract normal cones. Under some assumptions, corresponding monotone iterations converge to the unique solution of our problem and this convergence is superlinear or semi–superlinear

Abstract Subdifferential Calculus and Semi-Convex Functions

∗ The work is partially supported by NSFR Grant No MM 409/94.

Frontal Solutions: an Information Technology Transfer to Abstract Mathematics

The paper introduces a method for dependencies discovery during human-machine interaction. It is based on an analysis of numerical data sets in knowledge-poor environments. The driven procedures are independent and they interact on a competitive principle. The research focuses on seven of them. The application is in Number Theory.

An Abstract Second Kind Fredholm Integral Equation with Degenerated Kernel

Mathematics Subject Classification: 44A40, 45B05

Polysemy advantage with abstract but not concrete words

Peer reviewed

Polysemy advantage with abstract but not concrete words

Peer reviewed

Concrete and abstract concepts in school age children

The aim of this study is to highlight what kind of information distinguishes abstract and concrete conceptual knowledge in different aged children. A familiarity-rating task has shown that 8-year-olds judged concrete concepts as very familiar while abstract concepts were judged as much less familiar with ratings increasing substantially from age 10 to age 12, according to literature showing that abstract terms are not mastered until adolescence (Schwanenflugel, 1991). The types of relation elicited by abstract and concrete concepts during development were investigated in an association production task. At all considered age levels, concrete concepts mainly activated attributive and thematic relations as well as, to a much lesser extent, taxonomic relations and stereotypes. Abstract concepts, instead, elicited mainly thematic relations and, to a much lesser extent, examples and taxonomic relations. The patterns of relations elicited were already differentiated by age 8, becoming more specific in abstract concepts with age.