Electronic procurement has been widely embraced by governments seeking the administrative efficiencies and cost reductions experienced in the private sector. The enthusiastic resp...
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
James Fogarty, Andrew Jensen Ko, Htet Htet Aung, E...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...