Abstract: Embodiments of a system configured to manage policies, including decision policies and active policies, on an Open Mobile Alliance Device Management (OMA DM) enabled mobile client devices is described. The system is configured to manage policies, including decision policies and active policies, on mobile devices is described that includes a device policy repository, a policy decision point, a decision policy enforcer, and an active policy enforcer. The system includes a server-side process configured to allow creation, modification and transmission of defined policies to the mobile client device, and a client-side process executed on the mobile client device and configured store the defined policies in an OMA DM management tree in the mobile client device as management objects, wherein each policy of the defined policies is represented as a subnode of the management tree.

Abstract: Embodiments of a system configured to manage policies, including decision policies and active policies, on mobile devices is described. The system is configured to manage policies, including decision policies and active policies, on mobile devices is described that includes a device policy repository, a policy decision point, a decision policy enforcer, and an active policy enforcer. The system includes a method for enforcing policies on mobile devices that proactively monitors the execution environment and automatically triggers active policies. The method further exports an interface and provides functionality to evaluate and enforce decision policies. The system can combine policies from different sources, including detecting and avoiding policy conflicts.

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 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: 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: A card label having a system for discouraging its non-authorized removal and reuse, which initiate an incontrollable combustion process that completely damage the card label and its information and included circuitry when it is attempted to remove the card label from a surface.

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 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: 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: A card label having a system for discouraging its non-authorized removal and reuse, which initiate an incontrollable combustion process that completely damage the card label and its information and included circuitry when it is attempted to remove the card label from a surface.

Abstract: Efficient formal verification of a system model is obtained by performing a state reachability analysis of an unrestricted full system model that includes constraints selected by the tester for testing a given property, followed by an analysis that permits a reduction in the complexity of the tested system's model. The analysis involves determining variables of the system's model that do not change value in the course of the state reachability analysis, often because of the constraints imposed prior to performing the reachability analysis. The unchanging variables are replaced with constants, and those constants are propagated through the system model to simplify the state transition relations that define the system. The simplified system model is then applied to a verification tool to determine whether the liveness property is satisfied.

Abstract: The invention presents a method and apparatus for forming a restricted model from a system model to reduce the computational resources required to formally verify the system design, without substantially reducing the ability to test all system model functions, or properties. In general, the restricted model is formed by restricting the range of assumable values of system model variables and system model inputs to a restricted set of values, based on the values assumed by the system model variables and system model inputs during a partial search of the system model. The restricted model can then be fully searched by a conventional verification tool to identify system design errors. Advantageously, the restricted model requires less computational resources to verify the system design (i.e. through a full search) than the original system model.

Abstract: The invention presents a method and apparatus for forming a restricted model from a system model to reduce the computational resources required to formally verify the system design, without substantially reducing the ability to test all system model functions, or properties. In general, the restricted model is formed by restricting the range of assumable values of system model variables and system model inputs to a restricted set of values, based on the values assumed by the system model variables and system model inputs during a partial search of the system model. The restricted model can then be fully searched by a conventional verification tool to identify system design errors. Advantageously, the restricted model requires less computational resources during a fall search than the original system model.