Climate Change has been undoubtedly the most illustrious environmental issue since late 20 century. But neither the discourse merely emerged during that time, nor it was problematized in the same way since its onset. History of Climate Change discourse reveals that from a purely scientific concern it has turned into a public agenda that is nowadays more inclined to be development problem. Trans...

The cloud computing paradigm is being adopted by many organizations in different application domains as it is cost effective and offers a virtually unlimited pool of resources. Engineering critical systems can benefit from clouds in attaining all dependability means: fault tolerance, fault prevention, fault removal and fault forecasting. Our research aims to investigate the potential of support...

This paper discusses methods for the formal treatment of critical systems. The discussion is based on experience at ICL in the application of formal methods to the development of highly assured secure systems. Problems arising in the use of the standard paradigm for specification and refinement in Z are identified and discussed. Alternative methods which overcome some of these difficulties are ...

X(5) is a paradigm for the structure at the critical point of a particular first-order phase transition for which the intrinsic energy surface has two degenerate minima separated by a low barrier. For a finite system, we show that the dynamics at such a critical point can be described by an effective deformation determined by minimizing the energy surface after projection onto angular momentum ...

Nowadays, critical infrastructures are highly integrated with state-of-the-art information and communication technologies to enhance their efficiency. Due to farreaching societal and economic impacts caused by failure or malfunction of critical infrastructures, cyber security and self-healing capability are among their salient features. A new security paradigm referred to as intrusion tolerance...

Cut-elimination, besides being an important tool in proof-theory, plays a central role in the proofs-as-programs paradigm. In recent years this approach has been extended to classical logic (cf. Girard 1991, Parigot 1991, and recently Danos Joinet Schellinx 1997). This paper introduces a new sequent calculus for (propositional) classical logic, indicated by ? C. Both, the calculus and the cut-e...

The range of domains and tasks for “knowledgebased systems” has been expanding at a furious pace. As we move away from trivial domains, such as the “blocks world”, the demands on knowledge representation systems used by expert programs are becoming more extreme. For one thing, the domains themselves are getting so complex that specialized technical vocabularies are unavoidable; consequently, th...

This article investigates the relation between misremembering and source judgments in both the misleading information paradigm and the false memory paradigm. A computational model, CHARM (Composite Holographic Associative Recall Model), is used to simulate source monitoring in both paradigms. Despite the fact that CHARM stores memories in a composite memory trace, it is shown that the model can...

This paper develops a critical systems approach to organizational policy formulation and in so doing, contributes to the literature on critical systems thinking (CST). For, whilst there is, in the literature on systems theory and practice, much written on the subject of strategy in organizations, there is very little on organizational policy and nothing from within the critical systems paradigm...