Abstract Introduction System Model Service Properties The Algorithm Optimisations Implementation Performance Evaluation Related Work Conclusions Acknowledgements References