UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the th...

Formally well-founded compilation techniques for Term Rewriting Systems (TRSs) are presented. TRSs are compiled into Minimal Term Rewriting Systems (MTRSs), a subclass of TRSs in which all rules have an extremely simple form. A notion of simulation of (rewrite) relations is presented, under which an MTRSs can be said to simulate a TRS. The MTRS rules can be directly interpreted as instructions ...

Counts of adult male northern fur seals (Callorhinus ursinus) are obtained each year on St. Paul Island and semi-annually on St. George Island as a factor of population monitoring. In 1995, counts were obtained from 11 to 16 July. A total of 5,154 harem and 8,459 idle adult male seals were counted on St. Paul Island. On St. George Island a total of 1,242 harem and 1,054 idle adult males were co...

Schön (1987) has suggested that professional education undervalues practical knowledge and grants privileged status to intellectual scientific and rational knowledge forms that may only be marginally relevant to practical acting. This is not just an issue of sociology of knowledge. The literature of teaching and teacher education has shown that professional practices of educating cannot be prop...

Men constitute a small minority of registered nurses (RNs) in Canada, but their numbers have risen sharply in the last decade. In 1995, almost 4% of RNs were men, up from just over 2% in 1985. The proportion of male nurses is particularly high in Quebec, where the 1995 figure was 8%. Some areas of nursing are more likely than others to employ male nurses: psychiatry, critical care, emergency ca...

On April 20, 1995, Paul Allen Catlin passed away in Detroit, Michigan, at the age of 46, and the community of Graph Theory lost one of its best friends. Paul Catlin was born on June 25, 1948 in Bridgeport, Connecticut. His life-long love for mathematics was visible from the start. His younger brother, David Catlin, remembers Paul riding around on his tricycle counting for the sheer pleasure of ...