Abstract: The present invention is notably directed to a method for allowing an operating system, or OS, to access an encrypted data storage system of a computer (10), wherein: the data storage system (11) comprises: a partition (122); and first encrypted data units (120) that comprise partition table data of said data storage system; and said computer (10) is connectable to an external device (20) comprising: a boot loader (24) for an external OS (112) that is not installed on the computer; and partitioning information (22) capturing an expected location of said partition (122) in the data storage system; and wherein second encrypted data units (220) that comprise reference partition table data for said data storage system are available from said computer (10) or said external device, the method comprising: upon connection (S21) of said external device (20) to the computer, instructing to boot (S23) the computer (10) from said boot loader (24); and during or after booting of the computer: comparing (S25) the first (12

Abstract: A user trusted device and a software update method for updating the device. The device includes: a connection interface enabling connection with a host computer; a persistent memory storing a boot enabling data structure and a network updater, wherein: the network updater is configured to interact with firmware of the host computer to initiate communication over a network; and the boot enabling data structure: is detectable by the firmware upon connection of the user trusted device with the host computer; is such that host computer can boot from the user trusted device, as per the data structure of the boot enabling data structure; and includes instructions for the firmware to initiate a transfer of the network updater on the host computer for subsequent execution, upon the host computer booting from the user trusted device.

Abstract: Various embodiments monitor a distributed software system. In one embodiment, at least one monitoring policy associated with a distributed software system is selected. A policy type associated with the monitoring policy is identified. An installer is selected based on the policy type associated with the monitoring policy. Monitoring software is installed in a computing environment utilizing the installer. The monitoring software is configured to monitor the distributed software system based on the monitoring policy.

Abstract: A computer-implemented method for assisting a user in applying a business process pattern. In some embodiments, the computer-implemented method includes providing a graphical user interface (GUI) adapted for displaying a first representation of a business process and for allowing user editing of the business process. The computer-implemented method also includes receiving a user selection of a fragment of the business process as displayed in the first representation. In some embodiments, the computer-implemented method includes calling a second representation of the business process, the second representation including a hierarchy of fragments of business process, and checking whether the fragment selected by the user corresponds to one of the fragments of the second representation. The computer-implemented method may also include instantiating a business process pattern using the selected fragment if the fragment selected corresponds. The selected fragment is re-usable within the business process pattern.

Abstract: Methods and apparatus are provided for provisioning an operating system image from a server (2) to an untrusted user terminal (4) via a data communications network (3). A trusted device (5) such as a pocket USB device has tamper-resistant storage (9) containing bootloader logic, for controlling booting of a user terminal, and security data. On connection of the trusted device (5) to an untrusted user terminal (4), the user terminal is booted via the bootloader logic on the trusted device. Under control of the bootloader logic, a connection is established to the server (2) via the network (3) and the server is authenticated using the security data on the trusted device (5). An operating system boot image is received from the server (2) via this connection. The boot image is used to provision an operating system image from the server (2) to the user terminal (4) for execution of the operating system at the user terminal (4).

Abstract: Redundant data in a streaming disk image is identified using commands to indicate unused disk blocks, such as TRIM/UNMAP commands. A TRIM/UNMAP layer is added between an operating system and a disk driver to support the use of TRIM/UNMAP commands. Using the TRIM/UNMAP layer, blocks of a streamed disk image that are unallocated by the operating system are identified. The identified unallocated blocks are streamed to a server for analysis and storage.

Abstract: Redundant data in a streaming disk image is identified using commands to indicate unused disk blocks, such as TRIM/UNMAP commands. A TRIM/UNMAP layer is added between an operating system and a disk driver to support the use of TRIM/UNMAP commands. Using the TRIM/UNMAP layer, blocks of a streamed disk image that are unallocated by the operating system are identified. The identified unallocated blocks are streamed to a server for analysis and storage.

Abstract: Methods, systems and computer program products for improvement of vertical process merging by reconstruction of equivalent models and hierarchical process merging. Embodiments of the invention include a method for identifying and resolving differences between business process models, the method including receiving a first business process model project, identifying a second business process model project, performing changes to the second business process model project, merging the first and second business process model projects, creating a delta model configured to analyze the differences between the business process model projects, wherein an analysis of the differences between the first and second business process model projects are in the form of low-level changes and auto-applying the low-level changes of the first business process model project to generate a new business process model project.

Abstract: An invention is disclosed for improved computer system management by allowing complex computer-monitored events to be handled in different formats for correlation, analysis and action. Specifically, a method and system are disclosed for processing multiple heterogeneous event types in a complex event processing (CEP) engine.

Abstract: A method of automatic pattern based editing of business models on a canvas of business model editing application includes receiving a request to automatically edit a business model, constructing an initial current set C of elements from the business model, constructing an initial next set N of elements from the business model, and connecting elements between the initial current set C and the initial next set N until all elements in both the initial current set C and the initial next set N have been connected. The connecting is based on at least connecting elements sequentially if the elements exist from left to right on the canvas, and connecting elements in parallel or using a decision and merge combination if the elements exist from top to bottom on the canvas.

Abstract: A computer-implemented method for assisting a user in applying a business process pattern. In some embodiments, the computer-implemented method includes providing a graphical user interface (GUI) adapted for displaying a first representation of a business process and for allowing user editing of the business process. The computer-implemented method also includes receiving a user selection of a fragment of the business process as displayed in the first representation. In some embodiments, the computer-implemented method includes calling a second representation of the business process, the second representation including a hierarchy of fragments of business process, and checking whether the fragment selected by the user corresponds to one of the fragments of the second representation. The computer-implemented method may also include instantiating a business process pattern using the selected fragment if the fragment selected corresponds. The selected fragment is re-usable within the business process pattern.

Abstract: A tank system can provide a predetermined cold start volume (VKS) of an operating liquid required by a liquid consumer after a cold start. The tank system can provide a urea solution to an SCR catalytic converter. The tank system includes a main tank with a filling opening through which the interior of the main tank can be filled with operating liquid. To melt a predetermined volume of the frozen liquid in a fast, efficient and complete manner, a melting device is provided. The melting device includes a melt tank which encloses a melting space and which comprises an inlet opening through which the melting space can be filled with the operating liquid from the interior of the main tank. The melting device includes a cold start heater for melting frozen liquid in the melting space. The melting space is at least as large as the cold start volume (VKS) and is smaller than the interior of the main tank.

Abstract: Heating flange (1) for heating a flow of gas as it flows though a cross-section of flow (S), wherein the heating flange (1) is designed such that it can be inserted or interposed in an intake line (A) of an internal combustion engine and has at least one heat conductor (5) that extends through the cross-section of flow (S) from a mounting point (6a) to an immediately following further mounting point (6b) on the heating flange (1), as well as a retaining leg piece (2), which is provided with at least one of the mounting points (6a).

Abstract: The invention provides a method, system, and program product for dispatching an event to a rule. In one embodiment, the invention includes generating a table from a rule set, wherein the table includes an indication of whether each rule in the rule set corresponds to at least one event type; receiving an event; in the case that a plurality of rules in the rule set correspond to an event type of the event, dispatching the event to the plurality of rules; determining that the event should not be processed by at least one of the plurality of rules; and terminating the dispatching of the event.

Abstract: Methods, systems and computer program products for improvement of vertical process merging by reconstruction of equivalent models and hierarchical process merging. Embodiments of the invention include a method for identifying and resolving differences between business process models, the method including receiving a first business process model project, identifying a second business process model project, performing changes to the second business process model project, merging the first and second business process model projects, creating a delta model configured to analyze the differences between the business process model projects, wherein an analysis of the differences between the first and second business process model projects are in the form of low-level changes and auto-applying the low-level changes of the first business process model project to generate a new business process model project.

Abstract: A method of automatic pattern based editing of business models on a canvas of business model editing application includes receiving a request to automatically edit a business model, constructing an initial current set C of elements from the business model, constructing an initial next set N of elements from the business model, and connecting elements between the initial current set C and the initial next set N until all elements in both the initial current set C and the initial next set N have been connected. The connecting is based on at least connecting elements sequentially if the elements exist from left to right on the canvas, and connecting elements in parallel or using a decision and merge combination if the elements exist from top to bottom on the canvas.

Abstract: A method of constructing a process reference map. The method includes iterating over each of a plurality of process models. An intermediary reference graph is created. A directed link for each reference in the process models is added to the intermediary reference graph, the link pointing from a node in the reference graph representing a process model within which a reference occurred to a node representing a process model that the reference is pointing towards. The method determines, between two process models of the plurality of process models, whether an inconsistency including one of an outbound process reference missing inconsistency, an inbound process reference missing inconsistency, and an unavailable information inconsistency exists. A new process model map is created from the intermediary reference graph with one element each representing a process models and the elements being linked representing the references therebetween.

Abstract: The present invention relates to a temperature regulating system for fuel cells (14) and to a method for regulating the operative temperature of a fuel cell (14). To bring the operating temperature of the fuel cell (14) as fast as possible to a value within a set temperature range and to be able to keep the value within the range, it is provided according to the invention that the temperature regulating system comprises at least one electric heating device (2) which together with at least one cooling element (3) forms a temperature-controlling stack (7, 8).

Abstract: A system for combining quality assurance and model transformations in a business-driven development environment includes a host system executing a business modeling application, a transformation framework including a transformation programming interface (TPI) and a quality assurance framework executing on top of the business modeling application, and a plurality of transformation plug-in tools in communication with the TPI. The TPI includes options for model access and traversal, model element creation/removal, model element property editing and analysis. The options are applied to the transformations, via the selected transformation plug-in tools, to a business model resulting in a modified business model that conforms to an information technology (IT)-based executable code.

Abstract: Heating device for the heating and gasification of urea or an urea solution, particularly for internal combustion engines, wherein said heating device is designed for installation in a gas line extending in a direction of flow and wherein said heating device has at least two gas-permeable heating surfaces that are spaced apart from each other in the direction of flow and that define a heating chamber. In order to create an improved heating device for stable urea gasification in an exhaust gas line that guarantees a uniform temperature distribution in the heating room as well as a quick response time, according to the invention an inlet opening is provided that discharges into the heating chamber between the at least two heating surfaces and through which the urea or urea solutions can be fed into the heating chamber.