Critical System Event Prediction in Virtualized Cloud Computing Systems

Yuanyao Liu's poster on critical system event prediction in virtualized cloud computing systems

Prevent Privacy Leakage in Mobile Social Networks -- A Privacy Policy Conflict Detection Framework

Mobile social networks give online social networking sites the abilities to extend their services to mobile device users. Smart phones and tablets allow users to interact with others when they are moving. Policy-based management simplifies the management of interaction functionalities by establishing policies to control various activities involved in these functionalities. To detect and resolve potential dynamic conflicts between the rules and configurations from different administrative domains, a knowledge-based policy analysis framework is proposed this paper. It incorporates relationships between different elements in policy rules into temporal logic using a semantic extension, which makes dynamic policy conflict analysis more accurate. A prototype system for mobile social networks is implemented to illustrate the capability of this framework

Policy Conflict Analysis in Social Network

Temporal logic has been well studied for decades, and its logic expressions are used in many reasoning system. However, the information explosion makes logic reasoning becomes harder and harder. There are a lot of information have to be considered in logic reasoning. Relationships and related information make temporal logic cannot easily specify an information domain. Knowledge becomes a basis of information analysis. We propose a Semantic Temporal Logic, which incorporates relationships between different elements in a specific knowledge domain into temporal logic using a semantic format to represent domain elements

Progress in Ionic Liquids as Reaction Media, Monomers and Additives in High-Performance Polymers

In this chapter, we will review the progress in ionic liquids (ILs) widely used as reaction media, monomers and additives in the synthesis, chemical modification and physical processing of high-performance polymers (HPPs). Using ILs as reaction media in the syntheses of HPPs, the high-molecular-weight polymers were obtained in good yields and the shortened dehydration time compared to the conventional methods, the separation efficiency of products was improved. It is particularly noteworthy that the number of novel copolymers of HPPs with polymerisable ILs has steadily increased in recent years. In addition, ILs have been used as various types of additives such as the components of polymer materials, plasticizers and porogenic agents in the physical processing of HPPs, and the materials prepared include membranes, microcapsules, nanocomposites (NCs), electrolytes and grease