We feel that the Chemical Abstract Machine (CHAM) is a useful formal description technique for static and dynamic software architectures that facilitates analysis and testing. Our position is based on work done so far and on the potential of rewriting approaches, of which the CHAM is a special case.

PAPI is a specification of a cross-platform interface to hardware performance counters on modern microprocessors. These counters exist as a small set of registers that count events, which are occurrences of specific signals related to a processor's function. Monitoring these events has a variety of uses in application performance analysis and tuning. The PAPI specification consists of both a st...

Interaction nets are graph rewriting systems which are a generalisation of proof nets for classical linear logic. The linear chemical abstract machine (CHAM) is a term rewriting system which corresponds to classical linear logic, via the Curry-Howard isomorphism. We can obtain a textual calculus for interaction nets which is surprisingly similar to linear CHAM based on the multiplicative fragme...

A treatment target for progressive left ventricular (LV) remodeling prevention following myocardial infarction (MI) is to affect structural changes directly within the MI region. One approach is through targeted injection of biocomposite materials, such as calcium hydroxyapatite microspheres (CHAM), into the MI region. In this study, the effects of CHAM injections upon key cell types responsibl...

PAPI is a widely used portable library for accessing hardware counters on modern microprocessors. PAPI offers both counting and sampling interfaces, but the sampling interface is extremely limited, consisting of a simple interrupt-driven interface that can periodically report processor state. In the past few years, the hardware and operating systems of modern processors have added support for n...

-

To widen the selection of proteins for gene expression studies in barley seeds, experiments were performed to identify proteins whose synthesis is differentially regulated in developing and germinating seed tissues. The in vitro synthesis of nine distinct barley proteins was compared using mRNAs from isolated endosperm and aleurone tissues (developing and mature grain) and from cultured (germin...

In this paper, polyaryl polymethylene isocyanates (PAPI) were used as an innovative alternative material to prepare isocyanate microcapsules. PAPI could be used as core materials, which would react with small molecules containing active hydrogen (1,4-butanediol, ethylene glycol, 1,2-diaminoethane etc.). The reaction products of PAPI and active hydrogen would form a shell by interfacial polymeri...

This paper examines Hồi giáo, a state-recognized religion translated as “Islam” in Vietnam, and will focus on the Islamic religious practices of the Cham Bani, one of two groups of Muslims in Vietnam. While it is recognized that diverse Islamic religious practices have taken root in various areas, there is a tendency to view religious practices such as the Quran recital, Ramadan, Salat, and so ...

The Chemical Abstract Machine (CHAM) is a general-purpose, simple, intuitive and operational programming model that has been used for the speciication and analysis of the computational behaviour of software architectures. It therefore seems to be a good candidate to describe also the dynamics of the architecture itself and the coordination between the two processes. We also explore the ability ...