publication venue for Log summarization and anomaly detection for troubleshooting distributed systems 2007