Andrew Bedford

Learn More
This paper presents an approach to enforce information flow policies using a multi-valued type-based analysis followed by an instru-mentation when needed. The target is a core imperative language. Our approach aims at reducing false positives generated by static analysis, and at reducing execution overhead by instrumenting only when needed. False positives(More)
BACKGROUND With more than two billion people infected worldwide, soil-transmitted helminths (STH) are the most widespread infections. To date, STH control efforts rely predominantly on recurrent mass drug administration (MDA), which does not prevent reinfection. Additional public health measures including novel health educational tools are required for more(More)
distribution and waiting time analysis. Abstract This paper considers a novel queueing model called the Multi-Priority Dual Queue (MPDQ), which was introduced and analyzed in Bedford and Zeephongsekul [1, 2]. The MPDQ consists of two queues with a finite buffer, the primary and the secondary queue with the additional feature of a priority scheme to assist(More)
  • 1