The paper offers a UNITY-based framework to model distributed applications which are built with a component based approach. The framework enables components to be abstractly specified in terms of contracts. Temporal properties are expressed and proven in the UNITY style. Compositional reasoning about components’ properties, including progress, is supported. The semantical model is simple and in...

On the 15th of September 2008, a power-sharing agreement was brokered between the major political parties in Zimbabwe, namely, the Tsvangirai-led Movement for Democratic Change (MDC-T), the Mutambara-led Movement for Democratic Change (MDC-M) and the then ruling Zimbabwe African National Union–Patriotic Front (ZANU-PF). This Global Political Agreement (GPA) paved the way for the establishment o...

A partition of unity on the d-dimensional integer lattice Z is used to create a generalized discrete Gabor transform, with analysis and synthesis windows of smooth, desirable characteristics. Factorizing the partition of unity allows for different choices of analysis and synthesis windows, a transformation on general lattices in the time and frequence domains is considered, and an approximate p...

As a starting point, an important link is established between Brumer’s conjecture and the Brumer-Stark conjecture which allows one to translate recent progress on the former into new results on the latter. For example, if K/F is an abelian extension of relative degree 2p, p an odd prime, we prove the l-part of the Brumer-Stark conjecture for all odd primes l 6= p with F belonging to a wide clas...

is bijective. This sounds easy enough. One should bear in mind, however, that nobody is able to write down explicitly a basis for such innocent Q-vector spaces as the real numbers V = R or the infinite product V = ∏∞ m=1Q. Indeed, to establish the existence of a basis in infinite-dimensional vector spaces one has to use the axiom of choice, or equivalently Zorn’s Lemma, and thereby abandons all...

The 900 consultant paediatricians in Britain might occasionally pause to reflect that they have about 30 000 paediatrician colleagues within the European Community (EC). The total number in greater Europe between Lisbon and the Urals must approach six figures. The geographic and political map of the continent has radically changed during the last year and it is likely that colleagues working in...