computing theory and applications 6188