University of North Carolina at Charlotte

About: University of North Carolina at Charlotte is a education organization based out in Charlotte, North Carolina, United States. It is known for research contribution in the topics: Population & Poison control. The organization has 8772 authors who have published 22239 publications receiving 562529 citations. The organization is also known as: UNC Charlotte & UNCC.

Parallel Sets: interactive exploration and visual analysis of categorical data

Abstract: Categorical data dimensions appear in many real-world data sets, but few visualization methods exist that properly deal with them. Parallel Sets are a new method for the visualization and interactive exploration of categorical data that shows data frequencies instead of the individual data points. The method is based on the axis layout of parallel coordinates, with boxes representing the categories and parallelograms between the axes showing the relations between categories. In addition to the visual representation, we designed a rich set of interactions. Parallel Sets allow the user to interactively remap the data to new categorizations and, thus, to consider more data dimensions during exploration and analysis than usually possible. At the same time, a metalevel, semantic representation of the data is built. Common procedures, like building the cross product of two or more dimensions, can be performed automatically, thus complementing the interactive visualization. We demonstrate Parallel Sets by analyzing a large CRM data set, as well as investigating housing data from two US states.

Formal Proofs for the Security of Signcryption

Abstract: Signcryption is an asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a low computational and communication overhead. In this paper we propose realistic security models for signcryption, which give the attacker power to choose both messages/signcryptexts as well as recipient/sender public keys when accessing the signcryption/unsigncryption oracles of attacked entities. We then show that Zheng's original signcryption scheme is secure in our confidentiality model relative to the Gap Diffie-Hellman problem and is secure in our unforgeability model relative to a Gap version of the discrete logarithm problem. All these results are shown in the random oracle model.

FlowChecker: configuration analysis and verification of federated openflow infrastructures

Abstract: It is difficult to build a real network to test novel experiments. OpenFlow makes it easier for researchers to run their own experiments by providing a virtual slice and configuration on real networks. Multiple users can share the same network by assigning a different slice for each one. Users are given the responsibility to maintain and use their own slice by writing rules in a FlowTable. Misconfiguration problems can arise when a user writes conflicting rules for single FlowTable or even within a path of multiple OpenFlow switches that need multiple FlowTables to be maintained at the same time.In this work, we describe a tool, FlowChecker, to identify any intra-switch misconfiguration within a single FlowTable. We also describe the inter-switch or inter-federated inconsistencies in a path of OpenFlow switches across the same or different OpenFlow infrastructures. FlowChecker encodes FlowTables configuration using Binary Decision Diagrams and then uses the model checker technique to model the inter-connected network of OpenFlow switches.

A Conceptual Framework of Self-Advocacy for Students with Disabilities:

Abstract: Based on a review of the literature and input from stakeholders, we developed a conceptual framework of self-advocacy involving four components: knowledge of self, knowledge of rights, communication, and leadership. This article summarizes the definitions and components of self-advocacy found in the literature that were used to develop this conceptual framework. The resulting framework of self-advocacy is designed to serve as a guide for instructional planning, curricular design, and assessment of self-advocacy for students with and without disabilities.