ieee papers on distributed systems