Abstract: A method for resource management includes associating respective variables with resource consumers, and identifying resources as values applicable to the variables. A group of the variables are identified as preferred variables. An assignment of the values to the variables that satisfies constraints applying to the allocation of the resources is found by repeatedly performing the steps of choosing a variable from the group, instantiating the chosen variable with a value, removing the chosen variable from the group, and pruning the domains of the other variables by propagation of the constraints. The resources are assigned to the resource consumers responsively to the assignment of the values to the variables.

Abstract: A method for process modeling includes reading a record of executions of a process including at least first and second activities, and identifying in one of the executions in the record respective first and second lifespans of the first and second activities, defined by respective initiating and finish events, such that the initiating event of the second lifespan occurs during the first lifespan. A graphic model of the process is generated, so as to reflect a concurrency of the first and second activities, responsively to occurrence of the initiating event of the second lifespan during the first lifespan.

Abstract: A shared feed reader for multiple users and a method for sharing feed reading are provided which provide group collaboration features. The shared feed reader includes a server including a processor hosting the shared feed reader for remote access by multiple users, and a user interface for each of the multiple users including an aggregator of web feeds subscribed to by the user. The shared feed reader includes: a mechanism for defining a group of users, wherein web feeds subscribed to by users in the group are exposed to the other users in the group; and a mechanism for sharing a read status of a web feed post across the group, wherein the read status indicates which users have read the post. The shared feed reader may also include a mechanism for receiving a meta-feed of meta-posts, wherein meta-feeds and meta-posts relate to activities of users in the group on shared feeds and posts.

Abstract: A computer-implemented method for resource management includes storing in a memory a set of resource consumers, resources for allocation to the resource consumers, and initial binary constraints applying to the allocation of the resources. Respective variables are associated with the resource consumers, and the resources are identified as values applicable to the variables. A non-binary scoring criterion is applied to generate scores on a graded scale for proposed assignments of one or more of the resources to respective ones of the resource consumers. One or more additional binary constraints are defined based on the graded scale of the scores. An assignment is found of the values to the variables that satisfies the initial and additional binary constraints using a constraint satisfaction problem (CSP) solver running on a processor that is coupled to the memory. The resources are assigned to the resource consumers responsively to the assignment of the values to the variables.

Abstract: A method for identifying vehicles, including capturing a first image of a first vehicle using a first camera at a first position and a second image of the first vehicle using a second camera at a second position different from the first position. The method further includes determining a transformation between the first image and the second image. A third image of a second vehicle using the first camera is captured, and the transformation is applied to the third image to generate a fourth image of the second vehicle. The fourth image is analyzed, using a database of identified vehicles, to determine an identity of the second vehicle.

Abstract: A group communication service is adapted for multi-point to multi-point communication. Identical message streams are received by a tier of processing servers from a tier of sources. The processing servers deliver the message streams to a tier of destinations. The group communication service enables the processing servers to deal with newly added message streams and deleted message streams while preserving total ordering.

Abstract: A computer-implemented method for verifying a target system includes defining a specification including properties applicable to the target system. Execution sequences of the target system are identified. A set of the execution sequences is grouped into an equivalence class characterized by a common control flow. A symbolic representation of the equivalence class is evaluated so as to verify a compliance of the set of the execution sequences with one or more of the properties.

Abstract: A method and system are provided for maintaining profiles of information channels available on the Web, wherein the information channels are accessed via pull-only protocols. The method includes monitoring one or more channels by a channel pull action at a monitoring rate, wherein the monitoring rate is determined for the one or more channels based on the number of update events in a previous time period. The method may optimally include filtering the update events in the time period by a novelty measure, wherein the filtering disregards events that do not include significant novel information. The monitoring rate is adapted based on reinforcement learning applying iterative learning rules over time.

Abstract: A method for information retrieval includes extracting from a video document visual data items and textual data items that occur in the document at respective occurrence times. Indexing records, which index both the visual and the textual data items by their respective occurrence times, are constructed and stored in a memory.

Abstract: Computer-implemented techniques are disclosed for defining an environment for formal verification of a design-under-test. Initially there is extraction of design inputs by a design analysis module, and presentation of the inputs on a graphical user interface. Behavior options for the design inputs are offered on the graphical user interface for selection by an operator. Environment code that is descriptive of the design inputs and selected behavior options is emitted, typically in a hardware description language, for submission to a formal verification tool. A meta-code file containing the assigned behavior options is generated to aid subsequent sessions.

Abstract: Apparatus for presentation of functional coverage, including one or more processors and a memory, wherein the memory stores software instructions including instructions for representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested, the events comprising legal and illegal events, instructions for running at least one test on the design, instructions for identifying, responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test, instructions for grouping one or more of the illegal events with at least one of the first and second groups so as to generate a simplified model of the functional coverage of the events in the cross-product space and instructions for presenting the simplified model of the functional coverage on an output device.

Abstract: A design verification system that verifies the operation of multi-processor architecture by generating test programs in which the behavior of the processor, when executing the test program, is evaluated against the behavior required by the design specification. The test program generator produces scenarios for a multi-processor design in which non-unique results may occur. The system is provided with facilities to report expected outcomes, and to evaluate the validity of non-unique results in multiple resources under conditions of non-unique result propagation and dependencies among adjacent and non-adjacent resources.

Abstract: A method for protecting data recorded on an original data storage medium against unauthorized copying includes receiving data encoded in accordance with an applicable recording standard, and altering a portion of the encoded data such that the altered data are identified as erroneous according to the standard. The data are recorded on the medium, together with ancillary data which are used by a processor in an intended application of the medium to operate upon the altered portion of the data such that the application runs in a manner substantially unaffected by the alteration of the data. Upon unauthorized copying of the data, however, the ancillary data are ineffective in correcting the altered portion of the encoded data, so that the alteration causes a substantially unrecoverable error in an unauthorized copy of the original medium.

Abstract: An XML-aware file system exploits attributes encoded in an XML document. The file system presents a dynamic directory structure to the user, and breaks the conventional tight linkage between sets of files and the physical directory structure, thus allowing different users to see files organized in a different fashion. The dynamic structure is based upon content, which is extracted using an inverted index according to attributes and values defined by the XML structure.