He carried out research at Graz University of Technology (www.tugraz. at), Austria during 2003 -2007. He has been involved in research and teaching since 1998. He has taught in different institutes of Pakistan. His research interest revolves around software debugging, formal verification and software testing. In particular, He is interested in applying model-based diagnosis and reasoning techniques to the field of automated software debugging of java programs. Furthermore, He is interested to carry out research in the formal methods. He is author of several national and international publications in conference proceedings, books and journals. He is a reviewer and committee member of different international and national conferences. He has more than 12 years of experience in teaching and research. He is an approved supervisor of Higher Education Commission (HEC) Pakistan and can supervise PhD Students. He is a member of IEEE, IEEE Computer Society, ISOC and SUCSA. Previously He supervised MS students from top ranking university in Pakistan. He is editor of three books and these are recognized internationally.
V
PrefaceIt has been many decades, since Computer Science has been able to achieve tremendous recognition and has been applied in various fields, mainly computer programming and software engineering. Many efforts have been taken to improve knowledge of researchers, educationists and others in the field of computer science and engineering. This book provides a further insight in this direction. It provides innovative ideas in the field of computer science and engineering with a view to face new challenges of the current and future centuries. This book comprises of 25 chapters focusing on the basic and applied research in the field of computer science and information technology. Authors have made efforts to provide theoretical as well as practical approaches to solve open problems through their excellent research work. This book increases knowledge in the topics such as web programming, logic programming, software debugging, real-time systems, statistical modeling, networking, program analysis, mathematical models and natural language processing.Basically this book opens a platform for creative discussion for current and future technologies in the field of computer science and engineering, these are essential for students, researchers, academicians and industry related people to enhance their capabilities to capture new ideas. Also they provide valuable solutions regarding information technology to an international community.The editor and authors hope that this book will provide valuable platform for the new researchers and students who are interested to carry out research in the fields of computer science and information technology. Finally, we are thankful to I-Tech Education and publishing organization which provides the best platform to integrate researchers of the whole world though this book.