Opera Mini

Opera Mini est un navigateur web à destination des appareils mobiles comme les téléphones mobiles ou les PDA. Il fonctionne sur Java ME, Symbian OS, Android et Windows Phone. Il est développé par Opera Software qui le met en téléchargement gratuitement. Contrairement à son homologue Opera Mobile, il est basé sur une architecture client-serveur, ce qui le démarque des autres navigateurs concurrents. Avant d'être envoyées sur le téléphone mobile, les pages sont d'abord rendues sur un serveur proxy hébergé par Opera Software qui les adapte au format de l'écran, ce qui améliore la taille des transferts. Opera Mini est installé d'usine chez de nombreux opérateurs téléphoniques et fabricants. Opera Mini a été installé sur plus de 100 millions d'appareils et représente environ 1 % des parts du marché des navigateurs web (bureau et mobiles). Contrairement à la majorité des navigateurs mobiles, Opera Mini (client) obtient ses pages web par l'intermédiaire de proxy hébergés par Opera Software. Ces proxy vont s'occuper de faire le rendu de la page, de l'adapter au format de l'écran et de redimensionner les images. La page est transmise au client dans un langage de balisage, le OBML (Opera Binary Markup Language). Cette approche de l'Internet mobile a de nombreux avantages : du fait que le client ne contient aucun moteur de rendu, il est très léger : ; le rendu demande pas mal de ressources, et il sera donc plus rapide sur les serveurs d'Opera Software que sur l'appareil mobile ; le client fonctionne de manière fluide, même sur de vieux appareils ; le trafic entre le serveur et le client sont largement revu à la baisse (dans un rapport de 2 à 3, en fonction de la page et de la qualité des images choisie), ce qui améliore la vitesse de chargement des pages et réduit l'utilisation du quota alloué par l'opérateur qui est généralement faible ; le moteur de rendu des proxy est celui d'Opera 9.