Paper submission to Springer-Verlag Communications in Computer and Information Science.