Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
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...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.