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.
Vertex-centric graph processing systems such as Pregel, PowerGraph, or GraphX recently gained popularity due to their superior performance of data analytics on graph-structured data. These systems exploit the graph structure to improve data access locality during computation, making use of specialized graph partitioning algorithms. Recent partitioning techniques assume a uniform and constant amount...
The characteristic parameters of the micro-grids determine its transient response and the stability. The generation, the grid structure and the electric loads of all the whole micro-grids are always changing randomly due to the random load changes and the integration of large-scale batch energy, indicating that the characteristic parameters of the micro-grids also changes. A novel real-time and on-line...
Addressing the general characteristics of random fluctuations in the propagation process, by the uniform network S-I-R-S model for research object, the paper established a random network model based on continuous time Markov chain, analyzed the steady-state threshold and critical conditions of random model, the conclusion of random network model is the same with the result of the mean-field approach...
Cyber-Physical System (CPS) reflects the dynamic changes of physical environment through the event, closely interacts with the physical environment. CPS often involves a wide spectrum of events, and CPS events reflect the environment changes in a time-sensitive and/or spatial-sensitive manner. The event is an effective way of mapping physical environment to cyber domain. We analyzed the concept and...
With the widely applications of CAD, it is important to manage the workflow in the design systems. According to the characteristics of CAD collaboration design, combining the advantage of state chart and Semaphore mechanism, this paper first proposes a workflow management system based on state chart, then discusses its key technology and demonstrates its application in the workflow management of collaborative...
In this paper, we study the development and status of the current trusted measurement, and analyze the threats of process running in today's structure of the computer system. From the view of Turing, we abstract the key elements of process behavior, propose a trusted measurement for the process behavior running, in which trusted measurement formulas based on the process behavior itself and computing...
Anonymous authentication is an important feature for trusted computing. Firstly, this paper describes two kinds of authentication model Trusted Computing Group (TCG) proposed -TTP model and DAA model, and then analyses their advantages and disadvantages. Secondly, the paper proposes an improved solution based on the elliptic curve algorithm (ECC) in the base of the original DAA model. Finally, the...
In this paper, we propose a formal model of trust chain from the view of measurement structure and remote attestation. Trust chain is an important technology in Trusted Computing and has received considerable attention. However, related researches on trust chain have some deficiencies such as the coarse granularity, single measurement function and ignorance of influence from run-environment when report...
This paper presents a model of component evolution preview. We use this model to describe information of the rehearsal component, such as resource requirement and quality attribute. In this model, we also can define the component combination rules according to what you want. After the establishment of model, then through an algorithm to determine whether this evolution model meets the resource satisfiability...
Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in turn, results in a large number of process variants derived from the same process model, but differing in structure due to the applied changes. Since such process variants are expensive to maintain, the process model should...
To deal with challenges and problems in trust measurement, we propose a dynamic behaviors measurement model based on Interactive Markov Chain (IMC). In this model, we use two different ways to obtain system runtime expectations of performance and functions. The one way is Temporal Probability of Executing Routes (TPER), which introduces the relationship between behavior sequences and time. The other...
Recently, a new generation of adaptive Process-Aware Information Systems (PAIS) has emerged, which allows for dynamic process and service changes (e.g., to insert, delete, and move activities and service executions in a running process). This, in turn, has led to a large number of process variants derived from the same model, but differing in structure due to the applied changes. Generally, such process...
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.