Das kann man auf verschiedenste Weise machen.

Am qualitativ hochwertigsten ist es sicher beim verkleinern und bearbeiten in Photoshop bzw. einem ähnlichen Programm.

Bildbetrachter wie Irfanview oder XNview und mein aktueller Liebling Faststone können das mittels Batch bearbeitung.

Die Qualität leidet halt merklich darunter, wenn die Jpeg Kompression zu hoch eingestellt wird - aber für Bilder im Web sollten auch solche Batchlösungen ausreichend sein