jurek, onigoroshi: The large territory would almost certainly go to white, and should be counted as white's territory. There are places along the border that should probably be reinforced, but they are all miai (http://senseis.xmp.net/?Miai) and would only make a difference of a couple points.

However, my guess why it's counted is that BrainKing's logic doesn't try to guess ANY dead groups, and so the black stones in white's large territory prevent it from marking that as territory. Also, since the game was resigned, there's no need to count them; if you both had passed, however, and marked those black stones as dead, I assume BK would then correctly count the upper territory as being white's.

All white's stones will live; only black's large group will live. Since there's practically no chance of an invasion of white's large territory being successful, it should be scored for white. If, for example, the white group at J8 only had one liberty left with black to move, things would be drastically different.

At any rate, there's no question it would be white's territory. It is not dame, because it is territory: "In the endgame, empty points on the board which are not part of either player's territory and have no prospects of becoming territory." The points inbetween white's border and black's living group are dame, however.