Search results
-
-
Title
-
A Framework for the Design and Analysis of Socially Pervasive Games
-
Author
-
Powell, Eve
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science, Philosophy
-
Description
-
Pervasive games have the potential to create large social impacts on players and non-players alike. However, this can only happen when the game becomes integrated and accepted within a social community - or in other words, is socially adopted in i...
-
-
Title
-
Abstract visualization of large-scale time-varying data
-
Author
-
Yu, Li
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science, Computer engineering
-
Description
-
The explosion of large-scale time-varying datasets has created critical challenges for scientists to study and digest. One core problem for visualization is to develop effective approaches that can be used to study various data features and tempor...
-
-
Title
-
Clustering and Recommendation Techniques for Access Control Policy Management
-
Author
-
Marouf, Said
-
Date Created
-
2012
-
Subjects--Topical
-
Information technology
-
Description
-
Managing access control policies can be a daunting process, given the frequent policy decisions that need to be made, and the potentially large number of policy rules involved. Policy management includes, but is not limited to: policy optimization...
-
-
Title
-
Constraint-based Generation of Database States for Testing Database Applications
-
Author
-
Pan, Kai
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science
-
Description
-
Testing is essential for quality assurance of database applications.To test the quality of database applications, it usually requirestest inputs consisting of both program input values andcorresponding database states. However, producing these tes...
-
-
Title
-
Coordinating decentralized learning and conflict resolution across agent boundaries
-
Author
-
Cheng, Shanjun
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science, Information technology, Artificial intelligence
-
Description
-
It is crucial for embedded systems to adapt to the dynamics of openenvironments. This adaptation process becomes especially challenging in the context of multiagent systems because of scalability, partial information accessibility and complex inte...
-
-
Title
-
ESSENTIAL DYNAMICS OF PROTEINS USING GEOMETRICAL SIMULATIONS AND SUBSPACE ANALYSIS
-
Author
-
David, Charles
-
Date Created
-
2012
-
Subjects--Topical
-
Physics, Bioinformatics, Biophysics
-
Description
-
Essential dynamics is the application of principal component analysis to a dynamic trajectory derived from a simulation protocol in order to extract biologically relevant information contained in the high dimensional data. In this work, we apply t...
-
-
Title
-
Essays on Exploitation and Exploration in Software Development
-
Author
-
Temizkan, Orcun
-
Date Created
-
2012
-
Subjects--Topical
-
Information technology, Business, Information science
-
Description
-
Software development includes two types of activities: software improvement activities by correcting faults and software enhancement activities by adding new features. Based on organizational theory, we propose that these activities can be classif...
-
-
Title
-
Interactive Programming Support for Secure Software Development
-
Author
-
Xie, Jing
-
Date Created
-
2012
-
Subjects--Topical
-
Information technology
-
Description
-
Software vulnerabilities originating from insecure code are one of the leading causes of security problems people face today. Unfortunately, many software developers have not been adequately trained in writing secure programs that are resistant fr...
-
-
Title
-
Large-scale image collection cleansing, summarization and exploration
-
Author
-
Yang, Chunlei
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science
-
Description
-
A perennially interesting topic in the research field of large scale image collection organization is how to effectively and efficiently conduct the tasks of image cleansing, summarization and exploration. The primary objective of such an image or...
-
-
Title
-
Microarray tools and analysis methods to better characterize biological networks
-
Author
-
Overall, Christopher
-
Date Created
-
2012
-
Subjects--Topical
-
Bioinformatics
-
Description
-
To accurately model a biological system (e.g. cell), we first need to characterize each of its distinct networks. While omics data has given us unprecedented insight into the structure and dynamics of these networks, the associated analysis routin...
-
-
Title
-
Reasoning about recognizability in security protocols
-
Author
-
Li, Zhiwei
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science
-
Description
-
Although verifying a message has long been recognized as an important concept, which has been used explicitly or implicitly in security protocol analysis, there is no consensus on its exact meaning. Such a lack of formal treatment of the concept m...
-
-
Title
-
THROUGHPUT OPTIMIZATION FOR DATA COLLECTION IN WIRELESS SENSOR NETWORKS
-
Author
-
Chen, Siyuan
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science
-
Description
-
Wireless sensor networks are widely used in many application domains in recent years. Data collection is a fundamental function provided by wireless sensor networks. How to eciently collect sensing data from all sensor nodes is critical to the per...
-
-
Title
-
The Visual Uncertainty Paradigm For Controlling Screen-Space Information In Visualization
-
Author
-
Dasgupta, Aritra
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science, Information technology
-
Description
-
The information visualization pipeline serves as a lossy communication channel for presentation of data on a screen-space of limited resolution. The lossy communication is not just a machine-only phenomenon due to information loss caused by transl...
-
-
Title
-
Topology Design for Time-Varying Networks
-
Author
-
Huang, Minsu
-
Date Created
-
2012
-
Subjects--Topical
-
Computer science
-
Description
-
Traditional wireless networks seek to support end-to-end communication through either a single-hop wireless link to infrastructure or multi-hop wireless path to some destination. However, in some wireless networks (such as delay tolerant networks,...