Electrical computers and digital processing systems: multicomput – Computer conferencing – Demand based messaging
Reexamination Certificate
2006-11-14
2006-11-14
Cardone, Jason (Department: 2145)
Electrical computers and digital processing systems: multicomput
Computer conferencing
Demand based messaging
C709S206000, C709S202000, C709S217000, C705S035000
Reexamination Certificate
active
07136899
ABSTRACT:
A method, computer program product, and a publication-subscription broker server computing system for filtering one or more messages for transmission to a subscriber computing system according to an individual information request criteria using binary decision diagrams. The computer program product contains instructions that implement the disclosed method. The publication-subscription broker server contains a computer process that implements the disclosed method. The method constructs an evaluation graph for each individual information request criteria specified for each subscriber, identifies logical implications from one or more binary decision diagrams from a first information request criteria to one or more corresponding binary decision diagrams within a second information request criteria, receives one or more messages to be filtered, evaluates a first information request criteria based upon information within the received messages, evaluates one or more information request criteria based upon information within the received messages using the identified logical implications between one or more binary decision diagrams within the information request criteria being evaluated and one or more binary decision diagrams previously evaluated, and transmits the received message to the subscriber computing system corresponding to an information request criteria evaluated to be satisfied by information contained within the received message.
REFERENCES:
patent: 5201046 (1993-04-01), Goldberg et al.
patent: 5899985 (1999-05-01), Tanaka
patent: 6405191 (2002-06-01), Bhatt et al.
patent: 6738868 (2004-05-01), Gharachorloo et al.
patent: 2002/0169670 (2002-11-01), Barsade et al.
Andersen, H., “An Introduction to Binary Decision Diagrams”,Dept. of Information Technology, Technical University of Denmark, Lecture notes for 49285, Advanced Algorithms E97, pp. 1-36 (Oct. 1997).
Socher, R., “Optimizing the Clausal Normal Form Transformation”,Journal of Automated Reasoning, vol. 7, pp. 325-336 (1991).
Andersen, H., “An Introduction to Binary Decision Diagrams”, Lecture notes for 49285 Advanced Algorithms #97, Department of Information Technology, Technical University of Denmark, pp. 1-36, Web://www.it.dtu.dk/˜hra (Oct. 1997).
Bryant, R., “Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams”,ACM Computing Surveys, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, pp. 1-30 (Jul. 1992).
U.S. Appl. No. 09/734,379, “Inverse Query Decisions Using Sub-Expression Implications”.
Cardone Jason
Merchant & Gould P.C.
Microsoft Corporation
Mirza Adnan M.
LandOfFree
Inverse query decisions using binary decision diagrams and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Inverse query decisions using binary decision diagrams and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Inverse query decisions using binary decision diagrams and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3677947