In the first only DPP 'Digital Photo Professional' is used apart from PSE to resize, and in the second ACR with Topaz DeNoise4 and Topaz Detail2 with the blue sky setting but with increased micro detail and reduced large detail.
I think the second is a bit 'Disney' but still like it, even though the horizon got blown, a tiny bit blown on my 50D is more than a tiny bit is on my 10D