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...

Research has demonstrated how ignorance is made, manipulated and called upon; it the result of strategies, activities structures. This article extends literature on by exploring actors’ own explanations their self-inflicted following acts ignoring. By means a case analysis, we explore actors explain justify ignoring data they themselves produced. We provide multifaceted model rationales, facili...

The debate about lethal autonomous weapons systems (LAWS) characterises them as future problems in need of pre-emptive regulation, for example, through codifying meaningful human control. But technologies are already part and have shaped how states think To understand this normative space, I proceed two steps: first, theorise practices designing, training personnel for, operating weapon integra...

The laws of Lévy process activity time measured by absolute and or quadratic variation are identified to form new models taken evaluating the original at an independent copy its time. Examples their times gamma compound Poisson, bilateral $ CMY process. Activity measurement focusing on discounting larger moves exponential is developed exponentially discounted models. With a view towards ignorin...