This document discusses mobile operating systems and synchronization in mobile computing. It provides information on several mobile operating systems including Symbian OS, Palm OS, Windows CE, and Linux-based operating systems like Android, WebOS and Tizen. It also discusses concepts of synchronization between mobile devices and servers, mobile device management, use of mobile agents and gateways, and service discovery protocols.