Information processing and technology have known an impressive development recently and are poles of attraction for many engineers and scientists. These fascinating fields have also swayed all the aspects of modern life; today it is widely recognised the role of information processing and technology in various fields of every day life (education, health, management, banking sector, communication, commerce, animation and many others). This book contains leading-edge research on information processing and technology. It contains papers on object-oriented techniques in software developments, formal methods for specification and verification of systems such as network protocols, languages for implementing parallel systems, QoS for multimedia applications and software system design approaches with a wide range of applications.