Corpus Christi, Texas, uses IBM software to improve city services