Shouldn't be any problem, as long as they have successfully logged into the domain recently from the machine in question. It's called cached credentials, as long as you don't have that disabled or ...