journal of computer and system sciences 小木虫