Abstract: The present invention relates to a method and system for protecting and limiting the execution of a software program only to an authorized user. The software program can be provided in any suitable software form, such as a binary code, or it can be written in a high level program language. In the present invention, the binary code of the program is analyzed and partitioned into parts, some of which are selected to be protected. The protected parts are selected so that during any execution of the software, at least some of the selected parts must be present and executed. The protected code is encrypted and at least partially saved on an attached secured computing device such as a secured disk on key with a small processor or controller, or a smart flash drive.

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: Techniques for facilitating communication between a first group communication system and a second group communication system. A naming convention of the first group communication system allows at least one name which contravenes a naming convention of the second group communication system. A communicator is joined to the second group communication system. The communicator was previously joined to the first group communication system and has a first name at the first group communication system. The communicator has a second name at the second group communication system. The second name can be requested from the second group communication system. The second name can also be generated by applying an algorithm to the first name. A processor performs translation between the first name and the second name in a communication between the communicator and the second group communication system. The translation is performed based on a translation data structure.

Abstract: Techniques for facilitating communication between a first group communication system and a second group communication system. A naming convention of the first group communication system allows at least one name which contravenes a naming convention of the second group communication system. A communicator is joined to the second group communication system. The communicator was previously joined to the first group communication system and has a first name at the first group communication system. The communicator has a second name at the second group communication system. The second name can be requested from the second group communication system. The second name can also be generated by applying an algorithm to the first name. A processor performs translation between the first name and the second name in a communication between the communicator and the second group communication system. The translation is performed based on a translation data structure.

Abstract: Method, device and computer program product for support of maintaining a system. The method includes: evaluating a current system state and detecting a first lattice element corresponding to the current system state; locating at least one state improvement path, within a lattice that represents states of the system, between the first lattice element and a second lattice element representative of a target system state; determining, for at least one state improvement path, rules that should be satisfied in order to reach the system target state; and determining how to fulfill the rules associated with at least one state improvement path.

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 group communication system (GCS), for use within a group of clustered computing nodes, provides a flexible group membership model. Flexible group members are defined generally as physical computing entities (such as computing nodes or other devices) or logical computing entities that take part in a distributed application. Such logical entities may include substantially any combination of processes, threads and callback functions. Logical entities that are members in the group may also be objects, such as files, that at least at some times during their existence have no active processes or threads. A single member may include multiple simultaneous processes.

Abstract: A method for controlling operation of a computer software application running on a plurality of computing entities, which are members of a group of mutually-linked computing entities running the application within a distributed computing system. The method includes receiving an indication of a change in membership of the group together with a reason for the change. A membership change message is delivered to the members, so as to inform the members of the change and of the reason for the change.

Abstract: A method for distributing messages among a group of member computing entities, which are mutually-linked in a distributed computing system. The members communicate in accordance with a communication protocol, which delivers a sequence of full-group multicast messages to all of the members in the group in an order that is uniform among all of the members. A sub-group is defined from among the members in the group, and a sub-group message is distributed to the members in the sub-group, such that the sub-group message is delivered to all of the sub-ground members in a uniform position with respect to the order of the full-group multicast messages, as well as with respect to other sub-group messages.

Abstract: A method for controlling operation of a computer software application running on a given computing entity, which is a member of a group of mutually-linked computing entities running the application within a distributed computing system. The method includes selecting a partitioning strategy for the application from among a plurality of available strategies. When a message is received at the given computing entity indicative of a change in membership of the group, the given computing entity determines in accordance with the selected partitioning strategy whether the given computing entity belongs to a primary component of the group following the change in membership, such that running of the software application on the given entity is restricted if the entity does not belong to the primary component.

Abstract: A computer implemented technique for the static evaluation of the lifetime of objects allocated in memory is presented, which find application in reducing the overhead of generational garbage collection. The method combines pointer alias analysis with static object size determination, from which accurate generational assignment of newly created objects can be accomplished.

Abstract: A computer implemented technique for the static evaluation of the lifetime of objects allocated in memory is presented, which find application in reducing the overhead of generational garbage collection. The method combines pointer alias analysis with static object size determination, from which accurate generational assignment of newly created objects can be accomplished.