By moving data storage and processing from lightweight mobile devices to powerful and centralized computing platforms located in clouds, Mobile Cloud Computing (MCC) can greatly enhance the capability of mobile device...
详细信息
ISBN:
(纸本)9781467371841
By moving data storage and processing from lightweight mobile devices to powerful and centralized computing platforms located in clouds, Mobile Cloud Computing (MCC) can greatly enhance the capability of mobile devices. However, when data owners outsource sensitive data to mobile cloud for sharing, the data is outside of their trusted domain and can potentially be granted to untrusted parties which include the service providers. Data security and flexible access control have become the most pressing demands for MCC. To address this issue, we design a secure and lightweight data access control scheme based on Ciphertext-Policy Attribute-based Encryption (CP-ABE) algorithm, which can protect the confidentiality of outsourced data and provide fine-grained data access control in MCC. The scheme can obviously improve the overall system performance by greatly reducing the computation overheads in encryption and decryption operations, provide flexible and expressive data access control policy, and meanwhile enable data owners to securely outsource most of the computation overheads at mobile devices to cloud servers. The security and performance evaluation show that our scheme is secure, highly efficient and well suited for lightweight mobile devices.
Tissue P systems are a class of distributed and parallel computing models inspired from inter-cellular communication and cooperation between cells. In this work, a variant of tissue P system, named tissue P system wit...
详细信息
Tissue P systems are a class of distributed and parallel computing models inspired from inter-cellular communication and cooperation between cells. In this work, a variant of tissue P system, named tissue P system with look-ahead mode, is discussed for decreasing the inherent non-determinism of tissue P systems and helping implementing tissue P systems on computers. Such systems are proved to be universal by simulating register machine, and they are also proved to be able to efficiently solve computationally hard problems by means of a spacetime tradeoff, which is illustrated with a polynomial solution to 3-coloring problem.
There is one problem existing in gyroscope signal processing,which is that single models can＇ t adapt to change of carrier maneuvering *** it is difficult to identify the angular motion state of gyroscope carriers,in...
详细信息
There is one problem existing in gyroscope signal processing,which is that single models can＇ t adapt to change of carrier maneuvering *** it is difficult to identify the angular motion state of gyroscope carriers,interacting multiple model （IMM） is employed here to solve the *** Kalman filter-based IMM （IMMKF） algorithm is explained in detail and its application in gyro signal processing is *** with the help of the Singer model,the system model set of gyro outputs is *** order to demonstrate the effectiveness of the proposed approach,static experiment and dynamic experiment are carried out *** analysis results indicate that the IMMKF algorithm is excellent in eliminating gyro drift errors,which could adapt to the change of carrier maneuvering process well.
Graph pattern matching is a hot spot in the big data era, which is to find answer graphs matching a given query graph in a data graph of graph databases. “Matching” means two graphs satisfy some relation, such as is...
详细信息
Graph pattern matching is a hot spot in the big data era, which is to find answer graphs matching a given query graph in a data graph of graph databases. “Matching” means two graphs satisfy some relation, such as isomorphism, simulation, bisimulation, etc. Since there are seldom algorithms for the subgraph bisimulation, our work commits to solve the graph pattern matching problem involving bisimulation relations through the model checking technology. We characterize query graphs by modal formulas. By model checking the formulas in the data graphs, the answer graphs bisimilar to the query graphs can be discovered. We add * to basic modal logic language resulting in ML + * language, and add r* to form ML + * formulas. Then a theorem which states that ML + * formulas characterize finite directed graphs modulo bisimulation is put forward. Furthermore, we list steps to find answer graphs bisimilar to a query graph.
The growing study in RGB-D sensor and 3D point cloud have made new progress in obstacle avoidance for the visually impaired. However, it remains a challenging problem due to the difficulty in design a robust and real-...
详细信息
In this paper, we present an efficient learning algorithm for Deep Boltzmann Machine (DBM) to get the data-dependent expectation quickly. The algorithm adopts a layer-wise accelerating inference strategy to compute th...
详细信息
Term weighting is a strategy that assigns weights to terms in order to improve the performance of text categorization. In this paper, we propose a new category-based term weighting scheme named the probability of rele...
详细信息
＜正＞Cryo-electron tomography（ET）plays an important role in revealing biological structures,ranging from macromolecule scale to subcellular *** acquiring series of pictures with different angular assignment,one per...
＜正＞Cryo-electron tomography（ET）plays an important role in revealing biological structures,ranging from macromolecule scale to subcellular *** acquiring series of pictures with different angular assignment,one performs an inverse radon transform and gets the 3D structure of biological ***,since high angle
DNA sequence design is a very important task for DNA selfassembly technologies, including DNA computing, complex 3D nanostructures and nano-devices design. These experimental DNA molecules must satisfy several combina...
详细信息
暂无评论