Vitalsource Technologies, Inc. A Posteriori Error Analysis Via Duality Theory