Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2003-05-30
2008-11-25
Starks, Jr., Wilbert L (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C706S045000
Reexamination Certificate
active
07457791
ABSTRACT:
Architecture that facilitates discerning integrity of a data handling system. The architecture includes an identification component that periodically applies to data, in a batch mode, a context-based rule, the rule identifying anamolous data that does not satisfy the rule. A healing component is included to further rectify and/or flag the identified anomalous data.
REFERENCES:
patent: 4570217 (1986-02-01), Allen et al.
patent: 5051745 (1991-09-01), Katz
patent: 5138615 (1992-08-01), Lamport et al.
patent: 5727202 (1998-03-01), Kucala
patent: 5790776 (1998-08-01), Sonnier et al.
patent: 5832489 (1998-11-01), Kucala
patent: 5872971 (1999-02-01), Knapman et al.
patent: 5884323 (1999-03-01), Hawkins et al.
patent: 5907703 (1999-05-01), Kronenberg et al.
patent: 5978814 (1999-11-01), Miller et al.
patent: 6021491 (2000-02-01), Renaud
patent: 6049861 (2000-04-01), Bird et al.
patent: 6151689 (2000-11-01), Garcia et al.
patent: 6202207 (2001-03-01), Donohue
patent: 6253213 (2001-06-01), Vanderschaaf
patent: 6438724 (2002-08-01), Cox et al.
patent: 6446234 (2002-09-01), Cox et al.
patent: 6470448 (2002-10-01), Kuroda et al.
patent: 6519733 (2003-02-01), Har et al.
patent: 6529506 (2003-03-01), Yamamoto et al.
patent: 6587577 (2003-07-01), Finkelstein
patent: 6647494 (2003-11-01), Drews
patent: 6665725 (2003-12-01), Dietz et al.
patent: 6823398 (2004-11-01), Lee et al.
patent: 6850252 (2005-02-01), Hoffberg
patent: 6901398 (2005-05-01), Horvitz et al.
patent: 6938109 (2005-08-01), Sliger et al.
patent: 6975727 (2005-12-01), Vandergeest
patent: 7010052 (2006-03-01), Dill et al.
patent: 7128270 (2006-10-01), Silverbrook et al.
patent: 7200603 (2007-04-01), Hitz et al.
patent: 2001/0043603 (2001-11-01), Shaohua
patent: 2002/0116404 (2002-08-01), Cha et al.
patent: 2003/0028867 (2003-02-01), Kryloff et al.
patent: 2003/0088791 (2003-05-01), Porras et al.
patent: 2003/0144990 (2003-07-01), Benelisha et al.
patent: 2004/0133629 (2004-07-01), Reynolds et al.
patent: 2004/0177110 (2004-09-01), Rounthwaite et al.
patent: 2004/0215977 (2004-10-01), Goodman et al.
patent: 2005/0055385 (2005-03-01), Sinha et al.
patent: 2006/0110199 (2006-05-01), Walmsley et al.
patent: 2006/0248128 (2006-11-01), Acharya et al.
patent: 717353 (1996-06-01), None
B. Awerbuch and L.J. Schulman. The Maintenance of Common Data in Distributed System. Journal of the ACM, vol. 44 No. 1, 1997. 17 pages.
J. Cho and H. Garcia-Molina. Synchronizing a Database to Improve Freshness. Proceedings of the 2000 ACM SIGMOD Conference, pp. 117-128, 2000.
W. Hou and Z. Zhang. Enhancing Database Correctness: a Statistical Approach. Proceedings of the 1995 ACM SIGMOD Conference, pp. 223-232, 1995.
Kim, et al., “The Design and Implementation of Tripowire: A File System Integrity Chcker”, Nov. 1994, ACM Proceedings of the 2nd ACM Conference on Computer and Communications security, ACM, p. 18-29.
Kespret, “PKZip, LHArc & co.”, Dec. 1995, Abacus A Data Becker Book, p. 2, 107, 152-153, 222-232.
Chawathe, et al., “Meaningful Change Detection in Structured Data”, 1997, ACM SIGMOD, ACM, p. 26-37.
Terran Lane and Carla E. Brodley, “Detecting the Abnormal: Machine Learning in Computer Security”, School of Electrical and Computer Engineering, Jan. 31, 1997, 20 pages.
Sangeun Kim, Peter In, and Ramesh Bharadwaj, “An Extended Framework for the Validation and Verification of Situation-Aware Middleware Architectures”, In Proceedings Ground Systems Architectures Workshop, Mar. 2003, 3 pages.
Kespret, PKZip, LHArc & co., Dec. 1995, Abacus A Data Becker Book, p. 88-89.
Carter Cale D.
Garg Neeraj
Jayaram Mahesh
Martin Deuane J.
Rajasekaran Kulothungan
Amin Turocy & Calvin LLP
Microsoft Corporation
Starks, Jr. Wilbert L
LandOfFree
Using invariants to validate applications states does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Using invariants to validate applications states, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Using invariants to validate applications states will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4036830