Books by Nabendu Chaki

The studies discussed here seek to extract finite state models corresponding to goal models with the help of model transformation. The authors also discuss how the goal maintenance problem can be mapped to the state-space search problem, and how A* search can be used to identify an optimal goal model configuration that is free from all conflicts.

The book focuses on an image processing technique known as binarization. In addition to this, the book presents techniques for preparing a reference image which is very much important for quantitative evaluation of the binarization techniques.

The book presents various state-of-the-art approaches for process synchronization in a distributed environment. At the same time, the solutions consider the priority of the requesting processes and allocate resource for the earliest request when no such request from a higher priority process is pending.