Functional guarantees: a new service paradigm. (14th January 2008)