In object-oriented systems, object associations generally result in a complex structure whose precise description is a crucial part of the sys-tem's formal speciication. A particularly common object association arises when one object exclusively controls (owns) another. As exclusive object control is an important aspect of safety and security critical systems, speciic notation to capture direct...

This paper specifies the formal semantics of XSLT. Using Object-Z specification language to describe each constructs of the language as objects, the stylesheet itself was specified by underlying objects. This work will contribute to the implementation of XSLT.

Essential oil of Baru Cina leaves (Artemisia vulgaris L.) has been successfully isolated by hydrodistillation method using the Stahl apparatus. were for ± 6 hours to produce essential amount 0.39 % (v/b). The obtained from was characterized GC-MS spectroscopy. analysis results showed that there 29 compounds and main identified as many 14 compounds, such Alpha-Pinene (0.33%), 1,8-Cineol (1.96% )...

For a nite group G the commutativity degree denote by d(G) and dend:$$d(G) =frac{|{(x; y)|x, yin G,xy = yx}|}{|G|^2}.$$ In [2] authors found commutativity degree for some groups,in this paper we nd commutativity degree for a class of groups that have high nilpontencies.

This study reports, for the first time, chemical composition and biological activity of essential oil from Brazilian Cymbopogon densiflorus flowers. Thirty compounds were identified by gas chromatography coupled with mass spectrometry (GC/MS), corresponding to 95 % total an chromatogram obtained chromatography-flame ionization detection (GC-FID ). The was mainly composed cis-p-mentha-1(7),8-die...

Recently we have reformulated the octonions as quasissociative algebras (quasialgebras) living in a symmetric monoidal category. In this note we provide further examples of quasialgebras, namely ones where the nonassociativity is induced by a Z Z n-grading and a nontrivial 3-cocycle.

With the addition of IBM System ze application assist processors (zAAPs) and integrated information processors (zIIPs) to the portfolio of special-purpose IBM System z processors, the reinvention of the IBM mainframe continues. Jointly, zAAPs and zIIPs provide significant IBM System z9e integrated and cost-effective processing cycles for today’s strategic Javae and DB2t for z/OSt programming pl...

This paper was originally presented to the 2005 Annual UK-CMG Conference in Warwickshire, UK. At that time, details on z/9 109 server and z/OS V1R7 were not available. That paper was accepted for presentation by the Computer Measurement Group at the 2005 CMG International Conference. The CMG Program Committee required that the final paper be submitted no later than September 16 . By that paper ...