Device drivers are a significant source of system instability. In this paper, we make the case for running device drivers at user-level to improve robustness and resource managemen...
We prove in this paper that if r and s are two semilinear power series in commuting variables and s has bounded coefficients, then r-s is a rational series. This result can be tho...
We report tindings from an observational study on the nature of interruptions in the workplace. The results show that in most cases, (64”A), the recipient received some benefit ...
We consider the special case of the traveling salesman problem TSP in which the distance metric is the shortest-path metric of a planar unweighted graph. We present a polynomial...
Michelangelo Grigni, Elias Koutsoupias, Christos H...
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...