284 results about "Logical expression" patented technology

A system and method for creating a custom grouping of data in a database. A custom group object is created, a plurality of custom group elements are defined, each of the custom group elements being a subset of the custom group object and being defined by a different filter, each one of the different filters representing a logical expression of qualifications based on the data or a derived calculation of the data. Each of the different filters is resolved against the data or a subset of the data, and the plurality of custom group elements are grouped into a consolidated result set which in not naturally existing in the data structure.

In one embodiment, a content license is created that defines parameters for accessing a piece of digital content. A first logical expression in the content license defines a plurality of playback devices that are authorized to access the piece of digital content. A second logical expression in the content license defines at least one time interval when the plurality of playback devices are authorized to access the piece of digital content. The content license is used to access the piece of digital content.

A method and apparatus provide for implementing query-response interactions on a publish-subscribe network. An advertisement relating to a data set and a query representing a logical expression are received. The advertisement is mapped to a corresponding subscription. The query is mapped to a corresponding notification. The subscription and the notification are used for implementing of the advertisement and the query in the network.

A project management system is integrated with a workflow engine to provide automatic coordination of project tasks and workflow processes. The workflow engine provides support for defining logical expressions that determine a path of execution for the defined workflow tasks. In addition to composition capabilities, the workflow engine may execute and track the defined processes. The project management system provides a platform for defining the project plan that includes tasks and resources. Tasks are annotated defining their behavior and implementation and exported to the workflow system. The workflow system substitutes project tasks with the appropriate workflow activities and provides feedback upon execution of the activities.

A method and system for identifying clusters of similarly-configured computers. The method, for example, comprises gathering system and business configuration information values from a set of computers. Next, at least a portion of the system and business configuration information values gathered from the set of computers is analyzed along with the numbers of computers that are configured in various ways. Then, using the result of the analysis as a guide, logical expressions of configuration information values are selected for use as definitions of one or more clusters of similarly-configured computers, the selection process generally maximizing the number of computers included within each cluster and also generally maximizing the number of configuration information value specifications included within the definition of each cluster. Then, for one or more clusters so defined and selected, one or more statistics or limit values are generated from one or more configuration information values or both gathered from the subset of computers included in the one or more clusters.

Described herein is a system and method for providing a condensed license description syntax for use in a software due diligence system. In particular, the license description syntax may employ a limited number of verifiable attributes to provide precision and lack of redundancy in describing various software licenses relevant to software due diligence. For example, the software due diligence system may identify licenses in software under review and invoke a compiler configured to perform various operations on the license description syntax to check for permissions and obligations associated with the identified licenses (e.g., name translation, operator translation, logical expression evaluation, etc.). Thus, the license description syntax may enable the license database to be established as a global public or private license database, in addition to providing licenses attributes useful in software due diligence review.

A method of defining access control. The method allows the expression of access control rules using ontology based semantics and references an ontology subset using XPath as the ontological expression. The access control rules or access criteria are defined by an access control statement and may be expressed using classification criteria and ontology classes. The access control statement comprises a structural description that is used to define an asset and a logical expression that may be used to express the classification criteria. The access control statement defines access policy for various assets.

A failure-effect validation system includes an effects modeler configured to develop a cumulative effects model for failure modes of the complex system, and by which a model of the complex system is extendible to form an extended complex-system model. The effects modeler is also configured to develop search targets each of which includes logical expressions of notable hazards and other factors that contribute to the cumulative effects, such as crew workload, safety margin and/or physiological effects. A model analysis system is configured to perform an automated analysis using the extended complex-system model and search targets, and in which the automated analysis includes a graph search of possible states of the extended complex-system model to locate search targets. And the effects assessment system is configured to selectively generate a layout of failure analysis data including at least a portion of the extended complex-system model and results of the automated analysis.

A system for enabling a user of a relational database to define and enforce ordered check constraints to insure that defined logical relationships are maintained between data values in pairs of adjacent rows when adjacency is defined by some ordering of the data. These inter-row conditions, here called “ordered check constraints,” are expressed by a logical expressions which define a required relationship between the attributes of a given row and its adjacent row or rows. Arbitrarily complex expressions involving these sets of attributes can be formed to model the constraints of interest. These expressions can be created by the database in support of, for example, traditional primary key or uniqueness constraints, or they can be provided by the database user to model new more complex constraints such as a requirement that there be no gaps in a list of serial numbers. These constraints can then be efficiently supported in the presence of a b-tree or another ordered index structure by identifying any inserted, updated or deleted rows and evaluating the expression in the context of those rows and any associated adjacent rows. This approach is similar to that typically used in existing database systems to support primary key and uniqueness constraints, providing the user with the ability to model a much richer set of constraints using a generalized expression which extends and enhances the functionality of check constraints to permit relationships of data in different rows to be defined and enforced.

A system generates criteria associating subjective narrative text describing a treatment outcome with acquired patient medical data and linking a narrative treatment outcome description to documented data during patient assessment documentation. A patient healthcare monitoring system includes an acquisition processor for automatically acquiring data representing outcomes of multiple corresponding assessments of medical condition of a patient. A data processor automatically evaluates a logical expression comprising a logical combination of the multiple corresponding assessments to provide an overall outcome representative result and compares the overall outcome representative result with a predetermined treatment objective of the patient to provide a result indicative of whether the treatment objective is met. A documentation processor updates a record of the patient to indicate the objective is met.

This invention describes a method to verify non-looping properties of programs implemented as rule-based expert systems. Our method detects conditions under which the expert system enters erroneous infinite program loops, which lead to non-terminating or oscillating computations, or otherwise proves the absence of such conditions. Our automatic procedure also gives advice on how to correct these errors. The expert systems considered consist of condition-action rules (IF-THEN-statements), where the conditions are logical expressions (formulas of a propositional finite domain logic), and the actions modify the value of a single variable which in turn can be part of other logical expressions. There may be additional (external) variables not controlled by the expert system, and each rule may have an associated evaluation priority.