Journal: Frontiers Comput. Sci.