The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Virtualization is fundamental to cloud computing. It allows abstraction centred on services and isolation of lower level functionalities and underlying hardware. Modeling, analyzing and verifying cloud systems necessarily involve virtualization and services. However, there exist few efforts to effectively formalizing virtualization in cloud computing. In this paper, based on services we present an...
We propose an energy-based method for dissolution simulation. Both the fluid (solvent) and solid (solute) are presented by particles. The dissolution priority of solute particles is based on the kinetic activation energy. The position of solute is determined using rigid body dynamics. We demonstrate plausible dissolving behaviours by using examples.
Semantically annotated process model (SPM) is a process model with semantic annotations, which include the precondition and effect, labeled for its activities based on the domain ontology. Such semantic annotations can increase the model's understanding and reusability, and facilitate its implement as well as compliance analysis. However, SPM analysis is challenging, since its correctness is beyond...
Mismatch patterns capture the possible differences between two service (business) protocols to adapt. For these mismatches, formal definitions are presented in this paper. And a novel technique provides support for adapting two or more services. This technique requires that messages and message dependencies are used to directly model service (business) protocols and form a novel model, called a\emph{protocol...
In SOA, adaptation techniques aim to automatically generate adapters. However, the generation of the adapter is a complicated task and requires extra knowledge to resolve all kinds of mismatches. We propose a novel model, called a protocol structure, which is used to model services and adapters and detect the mismatches among services. Once developers present interface mappings among services, adapters...
In the reliability prediction of the product with long life and high reliability, the step stress accelerated degradation test (SSADT) is commonly applied. With the motivation of predicting the product reliability most precisely, the problem of optimizing the test plans has drawn a lot of attentions in the application of SSADT. In this paper, the drift Brownian motion is selected as the degradation...
To identify and eliminate the product's early failures with the lowest cost and the best effect, this paper proposes a HASS profile research method based on computer simulation technology. Firstly, the flow and implement steps are introduced, then take the solder joint as an example, to show the application of the computer simulation method in a specific way, finally, summarizes the application prospect...
This paper studies a discrete conditional value-at-risk (DCVaR) model with multiple losses based on weight and present a new support vector machine model. We introduce the concept of alpha-CVaR for the case of multiple losses with discrete random variable under the confidence level vector alpha. The alpha-CVaR indicates the conditional expected losses corresponding to the alpha-VaR. The problem of...
Thanks to their intuition and directness, semi-formal graph notations, such as UML, FBD and ER-diagram, have been widely used in every stage of software development to compose a comprehensive specification. But on the other hand, because of the lack of precise definition of semantic, it results in some problems, for example, the inconsistencies of those notations are very difficult to be checked and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.