Benchmarking notification server prototypes using different technologies