摘要:
A mark-based containment system, in one aspect, may include a graphical user interface operable to receive an indication of a mark as a container marking, attribute one or more container attributes to the container marking, and store the container mark and the container attributes associated with the container mark.
摘要:
A mark-based containment system, in one aspect, may include a graphical user interface operable to receive an indication of a mark as a container marking, attribute one or more container attributes to the container marking, and store the container mark and the container attributes associated with the container mark.
摘要:
Automatically creating a series of intermediate states may include receiving a start state and an end state of a reactive system, identifying one or more components of the start state and the end state and determining one or more events associated with the one or more components. One or more intermediate states between the start state and the end state, and one or more transitions from and to the one or more intermediate states are created using the one or more components of the start state and the end state and the one or more events associated with the one or more components. The one or more intermediate states and the one or more transitions form one or more time-based paths from the start state to the end state occurring in response to applying the one or more events to the associated one or more components.
摘要:
Automatically creating a series of intermediate states may include receiving a start state and an end state of a reactive system, identifying one or more components of the start state and the end state and determining one or more events associated with the one or more components. One or more intermediate states between the start state and the end state, and one or more transitions from and to the one or more intermediate states are created using the one or more components of the start state and the end state and the one or more events associated with the one or more components. The one or more intermediate states and the one or more transitions form one or more time-based paths from the start state to the end state occurring in response to applying the one or more events to the associated one or more components.
摘要:
Automatically adjusting rendered fidelity of an element in a composition may include detecting an element added to a composition and determining fidelity of an added element's rendering based on rendering of one or more other elements in the composition. Rendering of the added element may be automatically adjusted to the determined fidelity to match the rendering of said one or more other elements in the composition.
摘要:
Automatically adjusting rendered fidelity of an element in a composition may include detecting an element added to a composition and determining fidelity of an added element's rendering based on rendering of one or more other elements in the composition. Rendering of the added element may be automatically adjusted to the determined fidelity to match the rendering of said one or more other elements in the composition.
摘要:
A system and method for evaluating interfaces includes computing a reference script for a task from a reference interface design and translating the reference script into one or more target action scripts based on a target design. The one or more target action scripts on the target design are executed to produce target metrics. The target metrics are compared to determine whether the target action script successfully translates the reference script.
摘要:
A system and method that can be used to create a new API via a combination of existing APIs, e.g., given a set of existing APIs. The system and method also allow the user to remove existing API elements from the generated API, and to add new API elements to the generated API.
摘要:
A method and system of determining a prioritized list of one or more users related to a given goal obtaining a set of places, determine one or more future places an expert associated with a given goal is predicted to visit to accomplish the given goal, obtain a history of one or more places users have visited, determine one or more historical places from the history of one or more places that match the future places, and identify one or more users associated with the determined one or more historical places.
摘要:
A method and system of determining a prioritized list of one or more users related to a given goal obtaining a set of places, determine one or more future places an expert associated with a given goal is predicted to visit to accomplish the given goal, obtain a history of one or more places users have visited, determine one or more historical places from the history of one or more places that match the future places, and identify one or more users associated with the determined one or more historical places.