Theory and Practice of Computation : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings - Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez ((Proceedings in Information and Communications Technology))