Il refresh manuale con Ctrl + r o con F5 non dipende né dal PC né dalla versione di Windows ma da Internet Explorer. Mi risulta che esiste un'applicazione che si integra con Internet Explorer e permette l'attivazione del refresh automatico a scadenza programmabile. Dovete ricercare su Internet "Auto IE Refresher" e scaricare l'applicazione gratuita, l'ho provata e funziona ma potrebbe avere problemi con versioni di IE molto vecchie.
Talgo49