An intrusion tolerant database uses damage assessment techniques to detect damage propagation scales in a corrupted database system. Traditional damage assessment approaches in a intrusion tolerant database system can only locate damages which are caused by reading corrupted data. In fact, there are many other damage spreading patterns that have not been considered in traditional damage assessm...

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected].. FLM Publishing Association is collaborating with JSTOR to...

We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithms that deal with chaotic iteration. To this end we propose a simple abstract framework that allows us to classify and compare these algorithms and to establish in a uniform way their basic properties. Note. This is a ...

Kuhn’s incommensurability thesis seems to challenge scientific realism. One response to that challenge is to focus on the continuity of reference. The causal theory of reference in particular seems to offer the possibility of continuity of reference that would provide a basis for the sort of comparability between theories that the realist requires. In “Dubbing and Redubbing: The Vulnerability o...

In this paper, we give a re-formulation of our previously defined distillation algorithm, which can automatically transform higherorder functional programs into equivalent tail-recursive programs. Our re-formulation simplifies the presentation of the transformation and hopefully makes it easier to understand. Using distillation, it is possible to produce superlinear improvement in the run-time ...

SEMAT/OMG Essence provides a powerful Language and a Kernel for describing software development processes. How can it be tweaked to apply it to systems engineering methods description? We must harmonize Essence and various systems engineering standards in order to provide a more formal system approach to obtaining a Systems Engineering Essence. In this paper, an approach of using Essence for sy...

“I’m late, I’m late ...” cries the Mad Hatter in Alice in Wonderland. Mad though he may be, he seems to be singing our song. How often do conversations end abruptly when one conversant looks at his watch and leans impatiently into the “rush” position? How often do people dash past each other, eyes averted, muttering “Late for a meeting, gotta run...” as a substitute for a personal greeting and ...

Development of languages for specifying or modelling problems is an important direction in constraint modelling. To provide greater abstraction and modelling convenience, these languages are becoming more syntactically rich, leading to a variety of questions about their expressive power. In this paper, we consider the expressiveness of Essence, a specification language with a rich variety of sy...

in this study, the concentrations of 25, 375 and 500 ml l -1 of cola+ 2000 mg l -1 of peppermint essence and concentrations of 30, 45 and 60 ml l -1 of apple extract +2000 mg l -1 rosemary essence on alstroemeria cut flowers (cv. balance) were investigated to verify the use of natural ingredients in flowers preservative solutions. this experiment was conducted in the laboratory of gorgan univer...

one of the important philosophical issues and debates dating back over two thousand years, and the beginning of wisdom in ancient greece has been proposed, is the problem of essence. some believe that the discussion on the issue of substance is aristotelian thought, and believe that the roots of this attribution in aristotle approach to the existence and its relation with the essence and nature...