The Abstract State Machine Language, AsmL, is a novel executable specification language based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical data-structures, and is built around the notion of synchronous updates and finite choice. AsmL is fully integrated into the .NET framework and Microsoft development tools. In this paper, we explain the d...

This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the...

There are a number of mathematical theorems in the literature on the dynamics of cosmological models with accelerated expansion driven by a positive cosmological constant Λ or a nonlinear scalar field with potential V (quintessence) which do not assume homogeneity and isotropy from the beginning. The aim of this paper is to generalize these results to the case of k-essence models which are defi...

Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely-used tool in that trade consists in defining finely-indexed datatypes. Operationally, these types classify the programmer’s data, following the ML tradition. Logically, these types enforce the program invariants in a novel manner....

Since problems of ecofeminism are orientated not only towards contemporary times, but also towards future, this paper will examine the role of technique in an attempt of their resolving. Post-modern, lets call it fluid, understanding of the Being as plurality is given as an alternative to often criticized horizon of classical metaphysic (reduced on monistic or factual understanding of Being in ...

the word “hukum” literally and linguistically means judgement. in the holy qur’?n it also implies the same meaning. it is used in the jurisprudent terminology to mean verdict or ruling and may also imply other special meanings. when it is used unconditionally, it usually implies an islamic practical law which is divided into different parts and sections. the most important of which are“taklif” ...

In the construction of a large software system, it is inevitable that some aspects of program behavior will cut across the structure of the code. The changes that are needed to support a new feature, for example, may be spread across several different points in the original program, making them harder to maintain and harder to reuse. The designers of “aspect-oriented” programming languages aim ...

ESSENCE is a hash function submitted to the NIST Hash Competition that stands out as a hardware-friendly and highly parallelizable design. Previous analysis showed some non-randomness in the compression function which could not be extended to an attack on the hash function and ESSENCE remained unbroken. Preliminary analysis in its documentation argues that it resists standard differential crypt...

D riving the rapid advance in knowledge of peptidebinding to major histocompatibility complex (MHC) molecules is the prospect of predicting which peptides from foreign proteins are likely to be antigenic, and thus effective immunogens in vivo. Despite the numerous peptides that theoretically could be generated from a foreign protein, in practice cytotoxic T lymphocytes (CTL) focus upon just a f...

P N Rastogi is Professor of Sociology, Department of Humanities and Social Sciences, at the Indian Institute of Technology, Kanpur. The success of any organization depends on its leadership. Although a good deal of research has been done on leadership, it is difficult to say what it is. Recent research classifies leaders broadly into two types: transactional and transforming (Burns, 1978). In t...