Abstract: A method and apparatus for adaptive replication of code units is described. In one embodiment, the method comprises gathering run-time capability and preference information for an application, client device and server regarding an application service object; and directing replication of at least one application service object from the server to the client device based on the client, the server, and the application run-time capability and preference information.

Abstract: A method and system for preserving application session states among multiple terminals. An application session state is captured from a first terminal. The application session state is stored on a central storage device or repository server. The application session state is then retrieved from the central storage device with a second terminal. At least one application on the second terminal is then placed in the application session state using the information that is retrieved from the central storage device.

Abstract: A method and apparatus is disclosed herein for constraining the behavior of embedded script in documents using program instrumentation. In one embodiment, the method comprises downloading a document with a script program embedded therein, inspecting the script program, and rewriting the script program to cause behavior resulting from execution of the script to conform to one or more policies defining safety and security. The script program comprises self-modifying code (e.g., dynamically generated script).

Abstract: A method and apparatus for composing software are described. In one embodiment, the apparatus comprises a loader to obtain software structure data identifying a plurality of application components associated with requested functionality and to obtain software logic data indicating interaction rules between the plurality of application components, a parameter index generator to parse a description file and generate an index for each parameter of the plurality of application components, a parameter mapping to map input, output and state parameters to indices that are used by application components to access the input, output and state parameters, and a scheduler to coordinate an invocation of the plurality of application components at run time based on the software logic data.

Abstract: In one aspect of the invention, a method of dynamically switching among a plurality of fault tolerance schemes is provided. The fault tolerance schemes are associated with a fault tolerance mechanism that executes in a distributed system. The method comprises obtaining a wait time of at least one user interface event occurring in the distributed system. The wait time includes at least one of a communications time, a service time and a fault tolerance time. The method further comprises determining whether a mean of the wait time is greater than a predetermined mean wait time threshold. The method also comprises determining whether the communications time, the service time and the fault tolerance time are mutually independent when the mean of the wait time is greater than the predetermined mean wait time threshold.

Abstract: A mechanism and supporting apparatus to enable resource sharing among groups of users over mobile terminals. The system presented leverages the carrier infrastructure to simplify the requirements at the terminals, and describes a graphical user interface binding mechanism that allows developing generic graphical users interfaces that can be customized to heterogeneous devices at run-time.

Abstract: In one aspect of the invention, a configurable reliable messaging system is provided. The configurable reliable messaging system comprises a communication subsystem capable of configurably transmitting and receiving a message across a network using at least one of a plurality of network links, a plurality of internet protocols and a plurality of transport protocols. The configurable reliable messaging system also comprises a reliability subsystem capable of configurably logging the message, detecting a plurality of failures, notifying a remote entity interconnected with the configurable reliable messaging system via the network of the plurality of failures, and recovering from the plurality of failures. In addition, the configurable reliable messaging system comprises a control module capable of configuring the communication subsystem and the reliability subsystem based on a set of input parameters.

Abstract: As mobile handsets are typically much slower than desktops for processing intensive applications, and as XSL-based XML document transformations (or XSLT) are processing intensive, such transformations are costly on mobile devices both because of execution time and energy consumption. While other processing intensive applications, such as voice communication and graphics rendering, have exploited options in the design of mobile processor architecture, similar methodologies have not been applied to XSLT processing. A method for parallelizing XSLT processing on devices with multiple processors is therefore devised. The method divides XSLT processing into separately schedulable subtasks, synchronizes these subtasks, and schedules such subtasks on multiple processors for improved time and energy efficiency.

Abstract: A method and apparatus is disclosed herein for generating and solving constraints. In one embodiment, the method comprises modifying program code by inserting one or more dynamic annotations having unsolved variables, generating one or more constraints based on the one or more dynamic annotations using a verifier, solving the one or more generated constraints; and modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.

Abstract: A method, article of manufacture and apparatus for performing information flow enforcement are disclosed. In one embodiment, the method comprises receiving securely typed native code and performing verification with respect to information flow for the securely typed native code based on a security policy.

Abstract: A method and apparatus for dynamic replacement of device drivers in the operating system (OS) kernel are described. In one embodiment, the method comprising receiving a request to add a device driver to an operating system and dynamically adding the device driver to the operating system while user application and operating system processes are being performed.

Abstract: A method and apparatus for composing software are described. In one embodiment, the apparatus comprises a loader to obtain software structure data identifying a plurality of application components associated with requested functionality and to obtain software logic data indicating interaction rules between the plurality of application components, a parameter index generator to parse a description file and generate an index for each parameter of the plurality of application components, a parameter mapping to map input, output and state parameters to indices that are used by application components to access the input, output and state parameters, and a scheduler to coordinate an invocation of the plurality of application components at run time based on the software logic data.

Abstract: A method and apparatus for adaptive replication of code units is described. In one embodiment, the method comprises gathering run-time capability and preference information for an application, client device and server regarding an application service object; and directing replication of at least one application service object from the server to the client device based on the client, the server, and the application run-time capability and preference information.

Abstract: A method and apparatus for performing checks on program code. In one embodiment, the method comprises receiving program codea nd statically verifying information about one or more dynamic checks in the program code, where each of the one or more dynamic checks in the program code checks an operation in the program code.

Abstract: A method and apparatus for composing software are described. In one embodiment, the method includes obtaining software structure data that identifies multiple application components associated with requested functionality, obtaining software logic data indicating interaction rules between the application components, storing the software structure data and the software logic data in memory, and coordinating the invocation of the application components at run time based on the software logic data.

Abstract: Schema-driven XML parsing techniques allow an XML parser to optimize its parsing process by composing parse and to dynamically generate parsing code components based on XML schema definition for the targeted XML document. These techniques reduce the XML parsing time and reduce the memory requirement during parsing process. Further, a reconfigurable parser is provided which is guided during parsing of the XML document by XML element lexicographical information and state transition information extracted from a schema associated with the XML document. Pre-allocated element object pools may be provided based on the schema analysis to reduce the requirements for dynamic memory allocation and de-allocation operations.

Abstract: A browser session mobility (BSM) system allows a user to save and restore the runtime state of active sessions of multi-platform network applications established with a browser. A platform specific runtime state of an active session with a browser that includes a current browser state and a current server state may be captured from a platform specific version of a multi-platform network application. The platform specific runtime state may be transformed to a platform independent runtime state and stored. The stored platform independent runtime state may be retrieved and transformed to another platform specific version of the multi-platform network application and instantiated as the same active session.

Abstract: A mechanism and supporting apparatus to enable resource sharing among groups of users over mobile terminals. The system presented leverages the carrier infrastructure to simplify the requirements at the terminals, and describes a graphical user interface binding mechanism that allows developing generic graphical users interfaces that can be customized to heterogeneous devices at run-time.

Abstract: In one aspect of the invention, a method of dynamically switching among a plurality of fault tolerance schemes is provided. The fault tolerance schemes are associated with a fault tolerance mechanism that executes in a distributed system. The method comprises obtaining a wait time of at least one user interface event occurring in the distributed system. The wait time includes at least one of a communications time, a service time and a fault tolerance time. The method further comprises determining whether a mean of the wait time is greater than a predetermined mean wait time threshold. The method also comprises determining whether the communications time, the service time and the fault tolerance time are mutually independent when the mean of the wait time is greater than the predetermined mean wait time threshold.

Abstract: In one aspect of the invention, a configurable reliable messaging system is provided. The configurable reliable messaging system comprises a communication subsystem capable of configurably transmitting and receiving a message across a network using at least one of a plurality of network links, a plurality of internet protocols and a plurality of transport protocols. The configurable reliable messaging system also comprises a reliability subsystem capable of configurably logging the message, detecting a plurality of failures, notifying a remote entity interconnected with the configurable reliable messaging system via the network of the plurality of failures, and recovering from the plurality of failures. In addition, the configurable reliable messaging system comprises a control module capable of configuring the communication subsystem and the reliability subsystem based on a set of input parameters.