A Comparison of Push and Pull Techniques for AJAX