Hola, yo solucioné el problema de la cache en IE de la siguiente manera:
Código:
http_request.open('GET', url + "&rand=" + Math.random(), true);
Ahora no encuentro el artículo donde lo leí, pero decía que era preferible hacer eso que "tocar" la cache. Otra solución que daba, aunque tal vez en ocasiones no se pueda usar, era hacer uso del método POST en vez de GET.
Saludos