Computer Information Systems - Analysis and Technologies : 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings - Nabendu Chaki, Agostino Cortesi ((Communications in Computer and Information Science))