This paper proposes a novel facility location model for health service network design by considering different key elements including the reliability aspects, service capacity, congestion, service quality, surrounding public infrastructures, geographical accessibility and several types of cost such as investment, transportation and operational costs. We formulate the problem as a robust scenari...

We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actions to send control signals between measurement components we are able to obtain more accurate measurements from our stochastic models without disturbing their structure. A software tool processes both the model and the...

Many operators of cellphone networks now offer location-based services to their customers, whereby an operator often outsources service provisioning to a third-party provider. Since a person’s location could reveal sensitive information about the person, the operator must ensure that the service provider processes location information about the operator’s customers in a privacy-preserving way. ...