16. The non-transitory computer-accessible memory medium of claim 15 , wherein there are more than one more specific tasks and wherein the verification step comprises, for each of the one or more specific tasks, examining one or more constraints for determining the applicability of the more specific task.
16. The non-transitory computer-accessible memory medium of claim 15 , wherein there are more than one more specific tasks and wherein the verification step comprises, for each of the one or more specific tasks, examining one or more constraints for determining the applicability of the more specific task. 17. The non-transitory computer-accessible memory medium of claim 16 , wherein the one or more specific applicable task is executed only if all of its constraints are met.