Warcraft III is one of the most popular Multiplayer Online Game (MOG) games, where users are designed to interact with support of a dedicated server. PKTown is a P2P-based third-party middleware developed to replace t...
详细信息
Virtualization technology improves the resource utilization, but also raises the probability of resource contention. Thus, it arises one problem, namely how about performance isolation among VMs. To answer the questio...
详细信息
With the popularity of virtualization, the problem that how to manage hundreds even thousands of virtual machines running on multiple physical computing nodes becomes important. Current virtual machine management syst...
详细信息
Migrating existing Web applications toward SaaS (software-as-a-service) applications can reuse the legacy software assets and cut down the re-development cost and risk. However, it lacked generic migration approaches ...
详细信息
Migrating existing Web applications toward SaaS (software-as-a-service) applications can reuse the legacy software assets and cut down the re-development cost and risk. However, it lacked generic migration approaches and tools. A generic approach was proposed to quickly enable existing Web applications to be multi-tenant based on the data middleware. It introduced the multi-tenancy at a minimum revision of the original application. This approach is transparent and loosely coupled for the application layer.
Redundant Arrays of Independent Disks RAID is a popular storage architecture with high performance and reliability. RAID-6 with a higher level of reliability based on MDS (Maximum Distance Separable) code is well stud...
详细信息
In order to verify the correctness of PLC programs by formal methods, the definition of denotational semantics on PLC program language was studied to achieve PLC programs modeling and model checking. Based on the exte...
详细信息
In order to verify the correctness of PLC programs by formal methods, the definition of denotational semantics on PLC program language was studied to achieve PLC programs modeling and model checking. Based on the extended λ-calculus definition, the configuration of PLC program architecture, denotational semantics of PLC programs and functions of denotational semantics were defined, which proves the basis of model checking and theorem.
Security assessment of Thermal Power Plants (TPPs) is one of the important means to guarantee the safety of production in thermal power production enterprises. Essentially, the evaluation of power plant systems relies...
详细信息
Security assessment of Thermal Power Plants (TPPs) is one of the important means to guarantee the safety of production in thermal power production enterprises. Essentially, the evaluation of power plant systems relies to a large extent on the knowledge and length of experience of the experts. Therefore in this domain Case-Based Reasoning (CBR) is introduced for the security assessment of TPPs since this methodology models expertise through experience management. Taking the management system of TPPs as breakthrough point, this paper presents a case-based approach for the security assessment decision support of TPPs (SATPP). First, this paper reviews commonly used approaches for TPPs security assessment and the current general evaluation process of TPPs security assessment. Then a framework for the Management system Security Assessment of Thermal Power Plants (MSSATPP) is constructed and an Intelligent Decision Support system for MSSATPP (IDSS-MSSATPP) is functionally designed. MSSATPP involves several key technologies and methods such as knowledge representation and case matching.
In this paper, a self-organized algorithm for task allocation, based on the hormone reaction-diffusion mechanism, is proposed for a multi-robot system. Hormone messages are used to coordinate the movement of robots. B...
详细信息
Clustering problem is one of the hottest issues in wireless sensor networks (WSNs). The strategy for selection of cluster head has not been sufficiently investigated. In this paper, we propose a hormone-based clusteri...
详细信息
In order to track the dynamic information of the tested system, get the analysis of coverage and time performance, It is critical to optimize the test technique efficiency. With the help of instrumentation to identify...
详细信息
暂无评论