A computer software company that developed Promis, a national criminal records database