114 results about "Formal description" patented technology

In certain example embodiments, distributed cloud application deployment systems (DCADS), and/or associated methods are provided. A formal description of the cloud application is created. The cloud application's formal representation, with its constituent nodes and their associated properties and interfaces, etc., is exported to a machine processable form. The exported DCADS machine processable rendition and any needed implementation artifacts are retrieved by a cloud application deployer that helps facilitate the deployment of the cloud application into the distributed and heterogeneous cloud environments as prescribed in the DCADS.

A method and system for executing electronic funds transactions using a merchant-issued payment (MIP) card in a merchant-centric system having benefits which include reduced fees to acquiring merchants and optionally remitting a portion of the collected fees, or other incentive, to issuing merchants. The system also preferably provides information sharing on consumer transactions with merchants to facilitate consumer based incentive programs and the like. The system operates over conventional card processing infrastructure and utilizes the ACH network, or equivalent, to settle the transaction from a consumer checking account, or a merchant account in the case of a prepaid MIP card. Using the system, merchants may elect to qualify customers based on their own criterion. Embodiments are described for prepaid, fixed value, programmable, and refillable, forms of merchant-issued payment cards.

A system and method for configuring a user formset for display on a user interface of a client computer, the client computer coupled by a network to a formset server, the user formset for providing interaction with a network transaction, the user formset described in a structured definition language. The system and method comprise: requesting the user formset from the server according to at least one formset generation criterion; selecting a first overlay for application to a master formset, the first overlay including first components based on a role of the user; applying the first overlay to the content of the master formset for generating a role based version of the master formset; selecting a second overlay for application to the role based version, the second overlay including second components based on settings particular for the user functioning in the role; and applying the second overlay to the content of the role based version for generating the user formset; wherein the user formset is subsequently rendered on the user interface of the client computer.

Architecture that provides model-based systems management in virtualized and non-virtualized environments. A security component provides security models which define security requirements for services. A management component applies one or more of the security models during the lifecycle of virtual machines and services. The lifecycle can include initial deployment, expansion, moving servers, monitoring, and reporting. The architecture creates a formal description model of how a virtual machine or a service (composition of multiple virtual machines) is secured. The security requirements information can also be fed back to the general management system which uses this information in its own activities such as to guide the placement of workloads on servers can be security related.

A method for describing an invention comprising: a. defining a vocabulary of standard terms; b. describing the invention in a concise form and using only standard terms for the substantive description. The description may be in concise form uses mathematical equations or mathematical-like statements or tables. The description comprises, for an apparatus invention, the parts of the apparatus and the interrelationships therebetween, and for a method invention the steps of the invention and the order of execution of the steps.

A process of implementing, or engineering, topology-dependent functions based on a formal description of the Substation Automation system, includes performing a topology analysis of the current single line state. A topology interpreting implementation replacing complex topology analysis logics can include the project specific static single line topology and the connection to the real process state data. All information can be delivered in an IEC 61850 conforming SCD file. The interface description for controlling and monitoring the load transfer application can be generated automatically from the SCD file.

A method and structure for emulating on a single display platform an application's user interface as it would appear on each of a number of target devices, given a set of device characteristics for any device to be emulated and a formal description of one or more applications to be emulated. The method includes combining a selected one or more of the device characteristics and a selected one of the application formal descriptions and providing a simultaneous and consistent display representation for the selected application, so as to provide a stylized rendering of the selected application's interface in a uniform appearance and in which the selected application's interface for more than one target device can be simultaneously viewed. The method also synchronizes the display representation, so that a simultaneous update to all of the selected target device representations is updated when information in a device-independent portion of the formal description is changed.

The present invention provides a system, method, and computer program product to accelerate provisioning by dynamically creating dynamic free pools (DFPs) of pre-provisioned resources that are provisioned in advance, and are ready and free for use. A DFP construct for a resource, and its associated dynamic free pool manager are generated dynamically from a formal description of an aggregated resource structure (e.g. in the form of an XML schema). The present invention also provides a system, method, and computer program product to improve the delivery time of SEs based on the DFP constructs. The methods are extended to deal with special conditions such as contention over resources, or critical delivery time.

This invention teaches a way of implementing formally verified massively parallel programs, which run efficiently in distributed and shared-memory multi-core chips. It allows programs to be developed from an initial abstract statement of interactions among parallel software components, called cells, and progressively refine them to their final implementation. At each stage of refinement a formal description of patterns of events in computations is derived automatically from implementations. This formal description is used for two purposes: One is to prove correctness, timings, progress, mutual exclusion, and freedom from deadlocks/livelocks, etc. The second is to automatically incorporate into each application a Self-Monitoring System (SMS) that constantly monitors the application in parallel, with no interference with its timings, to identify and report errors in performance, pending errors, and patterns of critical behavior. This invention also teaches a way of organizing shared-memory for multi-processors that minimizes memory interference, protects data and increases execution efficiency.

An autonomous assembling technique of application software based on ITRON includes container in charging of interaction between software application component and operation environment and in charging of setting up application component according to design policy, domain configuration file for describing hardware unit and software component in system, automatic assembly/disposal tool for providing visualized editor of domain configuration file and automatic assembly/disposed tool being used to generate domain configuration file as required by container.

The present invention relates to a based on a status measure protocol abnormal measure method and system. The foundation of a protocol normal running state model comprises the examination of a protocol formal description expression and the making of a correlation protocol state machine; a protocol running state orientation moment realizes the exact orientation of the used protocol state in the present conversation towards the exact network communication data message; a protocol running state moving moment realizes the forecast of the next likely ongoing state moving and makes a normal state running concourse of the after-orientation protocol state; an abnormal examination moment judges whether the present protocol running accords with the protocol standard model and return the examination result by the gained subsequent message and the forecast running concourse. The present invention can check the correlative abnormal protocol in the network protocol communication process according to the exact protocol of the practically gained message and can conveniently expand the protocol normal running model according to the practical requirement.

The invention provides an Android software visualization safety analysis method based on module relations.According to the method, module recognition is conducted on Android software source codes according to a standard module model, all Android modules are extracted, then all attributes of individual module are obtained through regulation matching engine analysis, automated module type modeling of Android software is achieved, software behavior is described in the modularized form, meanwhile, user privacy data serve as the core, privacy data and data leakage outlets are recognized, the weakness degree of each module is quantified, visualization description is conducted on possible privacy disclosure behavior of the software, module positions which is attacked by malicious applications possibly and the module calling relation, and visualization display of the software behavior with respect to safety is achieved.Artificial distinguishing of a user and a program analysis method are effectively combined, so that the user has more visualized knowledge about the software behavior related to privacy data, and the purpose of distinguishing safety of an application is achieved.

The invention discloses a network service intelligent deployment method and a system, which relates to the field of network function virtualization. The method comprises the following steps: describing virtual resources in a tensor-based formal description mode of virtual resources; based on artificial intelligence technology and historical sample data, calculating the transfer probability of eachvirtual resource, generating a transfer tensor model, and predicting the change trend of the virtual resource utilization rate according to the transfer tensor model; according to the change trend prediction result, allocating the most suitable virtual resources to the virtual network function to ensure the normal operation of the virtual network function. The invention intelligently realizes thedeployment and resource allocation of the virtual network function in the telecommunication cloud platform.

The invention discloses an event extraction method based on sequence labeling. The vent extraction method comprises the following several steps that 1, input texts are preprocessed; 2, word sequencesof the texts are labelled by utilizing an LSTM+CRF network; 3, labeling results are merged to obtain event elements; 4, a designed template is filled with extracted events and their elements to form one-sentence description. The method mainly solves the problem how to extract events of loans, consolidations and the like from announcements of various major events of listed companies and give descriptions in a human language form. The labor cost for reading a large number of company announcements every day by financial employees is saved.

A method, system and software arrangement in accordance with an exemplary embodiment of the present invention are provided to extract descriptive narrative from numerical experimental data augmented with ontological controlled vocabulary. One exemplary application of such system, method and software arrangement is in organizing gene-expression time course data in terms of biological processes that may be activated and deactivated as the biological system responds to its normal or perturbed environment. The present invention may also have biological applications to drug-or-vaccine discovery, understanding behavior of a cell in an altered diseased state (e.g., cancer, neuro-degeneration or auto-immune disease, etc.), genetically modifying a natural wild-type organism, genetic-engineering, etc. Other exemplary applications may include understanding neural behavior, market behavior of a population of users interacting on the Internet, etc.

The invention discloses a formal description method for adaptive software architecture during operation. The formal description method comprises the following steps of: (1) describing the adaptive software architecture framework and setting a formally described architecture framework, wherein the framework comprises components, a connecting element and architecture configuration; (2) building an adaptive component model based on Agent internetware, and forming the internal part of the adaptive component by using a computing module which finishes calculation action and an adaptive model which finishes dynamic action in a manner of using the adaptive component as a component in the internetware; (3) formally describing various mental attitudes of the adaptive component in sequence, and providing formal definition of an atomic component and the connecting element; and (4) finishing appointed definition of the calculation action and dynamic action of the adaptive component, providing the corresponding relation of pi calculation thereof, and then dynamically reasoning the architecture action according to the performability and embedded background debug interface (EBDI) of the Pi calculation. The formal description method for adaptive software architecture during operation has performability, reasonability and legibility.