The ignoring problem refers to the fact that some actions may be infinitely postponed by a state space search algorithm that makes use of partial order reduction (POR). The prevention of this phenomenon is mandatory if one wants to verify more elaborate properties than the deadlock freeness, e.g., safety or liveness properties. We present in this work some solutions to this problem. In order to...

This paper is concerned with the performance ramications of \self-similar" or \fractal" data tra c upon networked systems. It is expected in the near future that communication systems will experience serious performance degregations as a consequence of this phenomena. Thus, the development of tractable models to analyze behaviors exhibited by these processes is important. Interarrival processes...

There is a widely held belief among doctors and nurses that when a colleague is in hospital, if anything can go wrong during the course of his illness it invariably will. To investigate this belief, we studied prospectively a group of pregnant doctors and doctors' wives, comparing the number of obstetric, paediatric, and psychiatric complications with those in two control groups of similar soci...