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.

Propagation of acoustic signals along a range-dependent track in the Arctic Basin is considered. The structure of the envelope of the temporal correlation function of a narrowband noise signal propagation in a waveguide is investigated. The form of a model pulse is compared with the wave form obtained in acoustic monitoring in the Arctic Basin. Calculations were carried out with a program based...

This is our second participation in the TREC Legal Track. The TREC Legal Track 2011 featured only the Learning Task. We participated in Topics 401 and 403. We used Lemur 4.11 for Boolean retrieval and followed it with a clustering technique, where we chose members from each cluster (which we called seeds) for relevance judgement by the TA and assumed all other members of the cluster whose seeds...

Earlier work showed that the track in the X-ray hardness-intensity diagram of Cir X-1 corresponds to a Z track in its color-color diagram. In this paper, we study the cross spectrum of Cir X-1 in different regions of the hardness-intensity diagram with RXTE/PCA data. Comparing the light curves of Cir X-1 for the energy band 1.8-5.1 keV to those for 5.1-13.1 keV, we find that Cir X-1 exhibits a ...

The experimental signatures for low energy supersymmetry breaking are presented. The lightest standard model superpartner is unstable and decays to its partner plus a Goldstino, G. For a supersymmetry breaking scale below a few 1000 TeV this decay can take place within a detector, leading to very distinctive signatures. If a neutralino is the lightest standard model superpartner it decays by χ1...