Generating scalable formal models for the BitTorrent protocol facilitates specifying the protocol functionalities accurately, and analyzing the protocol behaviors efficiently. We have constructed a Colored Petri nets ...
详细信息
With advance in distributed system technology, data has become ubiquitous and its dynamics has increased. Therefore, in this paper we proposed a new framework to integrate dynamic data driven application systems (DDDA...
详细信息
In this paper, we develop a novel context-aware approach for quality of experience (QoE) modeling, reasoning and inferencing in mobile and pervasive computing environments. The proposed model is based upon a state-spa...
详细信息
With increasingly distributed computing systems, the management task of controlling access to shared resources becomes more and more complicated. Policy based access control systems may provide a solution to this prob...
详细信息
Recently, flash memory in serving as a cache layer for disks gains a lot of attention. However, the out-place update characteristic of flash memory leads to increase of garbage collection overhead and decrease of cach...
详细信息
In this paper, we propose a dynamic audit service for verifying the integrity of an untrusted and outsourced storage. Our audit service is constructed based on the techniques, fragment structure, random sampling and i...
详细信息
Given the new challenges of open and unsupervised information extraction, there is a need to identify important and relevant knowledge structures (concepts and relationships) in the vast amount of extracted data and t...
详细信息
Graphs and trees play a major role in many applications including social networks, internet management, science, and business. Yet, there remains a serious lack of tools for graph data management, analysis and queryin...
详细信息
In this paper, we propose an innovative suite of metrics based on a class abstraction that uses a taxonomy for OO classes (CAT) to capture aspects of software complexity through combinations of class characteristics. ...
详细信息
Several K-View based algorithms have been made for developing image texture classification. These are K-View-Template algorithm (K-View-T), K-View-Datagram algorithm (K-View-D), Fast Weighted K-View-Voting algorithm (...
详细信息
暂无评论