15458429
Measuring and Explaining Differences in Wireless Simulation Models
Network Simulation tools have played very significant role in wireless network research in the past decade. Compared to wired networks, there are a lot more parameters that effect the behavior of wireless networks. For reasons of simplicity and computational complexity, some details are abstracted out when implementing protocol models in network simulators. IEEE 802.11 has been the dominant protocol for the MAC and PHY layers of most wireless networks in practice. Subtle implementation variations in the 802.11 protocol result in largely divergent results when higher level protocols are simulated on top of the 802.11MAC. In this paperwe concentrate on these implementation details and show how these affect the behavior of the 802.11 MAC model in various simulators. We also identify the abstractions that result in the diverging behavior of the 802.11 MAC protocol model and try to compare those with reference to the IEEE specification.
9795964
On finding disjoint paths in single and dual link cost networks
Finding a disjoint path pair is an important component in survivable networks. Since the traffic is carried on the active (working) path most of the time, it is useful to find a disjoint path pair such that the length of the shorter path (to be used as the active path) is minimized. In this paper, we first address such a minmin problem. We prove that this problem is NP-complete in either single link cost (e.g. dedicated backup bandwidth) or dual link cost (e.g. shared backup bandwidth) networks. In addition, it is NP-hard to obtain a k-approximation to the optimal solution for any k>1. Our proof is extended to another open question regarding the computational complexity of a restricted version of the min-sum problem in an undirected network with ordered dual cost links (called MSOD problem). To solve the minmin problem efficiently, we introduce a novel concept called conflicting link set which provides insights into the so-called trap problem, and develop a divide-and-conquer strategy. The result is an effective heuristic for the minmin problem called COLE, which can outperform other approaches in terms of both the optimality and running time. We also apply COLE to the MSOD problem to efficiently provide shared path protection and conduct comprehensive performance evaluation as well as comparison of various schemes for shared path protection. We show that COLE not only processes connection requests much faster than existing ILP based approaches but also achieves a good balance among the AP length, bandwidth efficiency and recovery time.
14708618
Enhancing UML Conceptual Modeling through the Use of Virtual Reality
UML is one of the major conceptual modeling tools in Object-Oriented software engineering. However, recently more and more concerns arise from the modeling quality of UML. Among them, limitation of the two-dimensional presentation of its notations is reported to be significant. By bringing in the concepts of Steoropsis (3-D appearance), animation, interaction and immersion, Virtual Reality may improve the UML modeling quality. Specifically, in this paper we analyze the modeling quality of UML by using recent published literature in conceptual modeling. We then recommend the use of Virtual Reality to enhance the modeling quality of UML. Some examples of how Virtual Reality can be used to improve UML modeling quality are given. Finally, we propose a research framework for enhancing the quality of UML conceptual modeling through the use of Virtual Reality.
207108480
Weakest Specifunctions for BSP
This paper introduces a calculus of weakest specification for supporting reuse of established components in deriving a design (in the sense of formal methods). The weakest specifunction generalizes the notions of weakest pre-specification and weakest parallel environment; but instead of calculating the weakest required component of a target specification, it calculates the weakest specification function whose value refines the target when applied to an established component. In particular it overcomes the restriction of those other calculi to taking merely one required component at a time. The theory of specifunctions is applied to a new weakest-design calculus in the context of BSP. The calculus is based on the par-seq specifunction which involves two required components: it places one established component in parallel with one required component and the result in sequence with another required component to meet a given specification. A calculus is provided for the par-seq specifunction and it is applied to the derivation of a distributed BSP algorithm for greatest common divisor.
45017187
An Agent-Based Metric for Quality of Services over Wireless Networks
In a wireless LAN environment, wireless stations with the strongest received signal can not be guaranteed to have the best quality of service if the population sharing the network capacity was not considered. In other words, within the same access point, the more the population, the less the shared bandwidth, and the worse the quality of service will be. In this paper, we proposed an Anticipative Agent Assistance which is an agent-based metric for evaluating and managing the resource of the wireless access points, computing the potential AP list, and providing clients with resource information of APs. We also propose a novel QoS feedback mechanism which allows users to promptly adjust the service quality with AAA according to the throughput and delay requirements. We evaluate the performance of our proposed method using the ns-2 simulator. Numerical results show that AAA help reduce the transmission delay, increase the throughput, improve the network utilization, accommodate more users, and provide load-balancing.
16993982
Cache-conscious Frequent Pattern Mining on a Modern Processor
In this paper, we examine the performance of frequent pattern mining algorithms on a modern processor. A detailed performance study reveals that even the best frequent pattern mining implementations, with highly efficient memory managers, still grossly under-utilize a modern processor. The primary performance bottlenecks are poor data locality and low instruction level parallelism (ILP). We propose a cache-conscious prefix tree to address this problem. The resulting tree improves spatial locality and also enhances the benefits from hardware cache line prefetching. Furthermore, the design of this data structure allows the use of a novel tiling strategy to improve temporal locality. The result is an overall speedup of up to 3.2 when compared with state-of-the-art implementations. We then show how these algorithms can be improved further by realizing a non-naive thread-based decomposition that targets simultaneously multi-threaded processors. A key aspect of this decomposition is to ensure cache re-use between threads that are co-scheduled at a fine granularity. This optimization affords an additional speedup of 50%, resulting in an overall speedup of up to 4.8. To the best of our knowledge, this effort is the first to target cache-conscious data mining.
13128744
Bayesian Networks for Knowledge-Based Authentication
Knowledge-based authentication (KBA) has gained prominence as a user authentication method for electronic transactions. This paper presents a Bayesian network model of KBA grounded in probabilistic reasoning and information theory. The probabilistic semantics of the model parameters naturally lead to the definitions of two key KBA metrics-guessability and memorability. The statistical modeling approach allows parameter estimation using methods such as the maximum likelihood estimator (MLE). The information-theoretic view helps to derive the closed-form solutions to estimating the guessability and guessing entropy metrics. The results related to KBA metrics and the models under different attacking strategies and factoid distributions are unified under a game-theoretic framework that yields lower and upper bounds of optimal guessability. The paper also proposes a methodology for implementing a Bayesian network-based KBA system. Further, an empirical evaluation of the relative merits of two Bayesian network structures for KBA, the Naive Bayes (NB) and the Tree Augmented Naive Bayes (TAN), confirms the hypothesis that the TAN structure is superior in terms of authentication accuracy and error rates. The results of the theoretical analysis and the empirical study provide insights into the KBA design problem and establish a foundation for future research in the KBA area.