(57) ABSTRACT A system and method is provided for initiating batch process ing on a
computer system from a terminal. The method gen erates a message from the terminal …

ABSTRACT A computer can display a graphical user interface (GUI) that includes a control.
The GUI can receive text instructions in a natural language that describe a location of the …

One or more computing resources, of a project management platform, may implement a
delivery tool layer to provide one or more tools associated with managing portions of a …

Programming and development infrastructure for an autonomic element is provided. The
system includes a control plane (ISAC), a host server, a management console, and a …

(57) ABSTRACT A method for automatic composition of an information pro cessing flow
based on a user-specified processing goal, includes: selecting tags from a first plurality of …

A stateful rules verification platform is described that support timed state transitions. The
verification platform implements a specification language to provide a formal definition for …

A stateful rules verification platform is described. The verification platform implements a
specification language to provide a formal definition for rules used to test target systems …

(57) ABSTRACT A method for service composition whereby a tag query is received and a
processing graph is composed in accordance with the tag query. The processing graph is …

A device may receive information identifying a first set of instructions. The first set of
instructions may identify an action to perform to test a first program. The device may identify …

A method for automated composition of an application including: receiving a customizable
template for application composition and a composition goal, wherein the goal comprises a …