ProQuest Subject Index - Computer science at ARIZONA STATE UNIVERSITY

TOP >> ARIZONA STATE UNIVERSITY >> Computer science

Browse Institutions

You are viewing titles for ARIZONA STATE UNIVERSITY in the Computer science available through the UMI Dissertations & Thesis Gradwoorks site

Dynamic virtual clustering	vLab: A Cloud based Resource and Service Sharing Platform for Computer and Network Security Education

Model Based Safety Analysis of Cyber Physical Systems	Replay Debugger For Multi Threaded Android Applications

UnSync: A Soft Error Resilient Redundant CMP Architecture	Improving Code Overlay Performance by Pre-fetching in Scratch Pad Memory Systems

Extensions to a Unified Theory of the Cognitive Architecture	Systematic Policy Analysis and Management

Robust Margin Based Classifiers For Small Sample Data	Query Expansion For Handling Exploratory And Ambiguous Keyword Queries

Time Efficient and Quality Effective K Nearest Neighbor Search in High Dimension Space	CPR: Complex Pattern Ranking for Evaluating Top-k Pattern Queries over Event Streams

Correlation Based Tools for Analysis of Dynamic Networks	Sequence-based Web page template detection

Compressive Sensing for Computer Vision and Image Processing	CyberCog A Synthetic Task Environment for Measuring Cyber Situation Awareness

TaxiWorld: Developing and Evaluating Solution Methods for Multi-Agent Planning Domains	Offline and Online Adaboost for Detecting Anatomic Structures

Representing the Language of the Causal Calculator in Answer Set Programming	Enhancing Movie Comprehension For Individuals Who Are Visually Impaired Or Blind Through Haptics

Signaling Pathway Deregulation: Identification Through Genomic Aberrations And Verification Through Genomic Activity	On Summarization of Non-Linear Narratives

Collaborative Digital Forensics: Architecture, Mechanisms, and Case Study	An Information Diffusion Approach for Detecting Emotional Contagion in Online Social Networks

A Study of Boosting based Transfer Learning for Activity and Gesture Recognition	An Investigation of the Cost and Accuracy Tradeoffs of Supplanting AFDs with Bayes Network in Query Processing in the Presence of Incompleteness in Autonomous Databases

Analyzing Student Problem-Solving Behavior in a Step-Based Tutor and Understanding the Effect of Unsolicited Hints	Topic Sensitive SourceRank: Extending SourceRank for Performing Context-Sensitive Search over Deep Web

Zazzer: Forming Friendships on Digital Social Networks Technology and Social Connectivity	Augmented Image Classification using Image Registration Techniques

Modern Technology in the Service of Music Therapy	Establishing Distributed Social Network Trust Model in MobiCloud System

A Smoothing Algorithm for the Dual Marching Tetrahedra Method	Lighting Prediction and Simulation in Large Nighttime Urban Scenes

Improving CGRA Utilization by Enabling Multi-threading for Power-efficient Embedded Systems	A Domain-Specific approach to Verification & Validation of Software Requirements

Expanding Data Mining Theory for Industrial Applications	STL on Limited Local Memory (LLM) Multi-core Processors

Secure Sharing of Electronic Medical Records in Cloud Computing	The Design and Analysis of Hash Families For Use in Broadcast Encryption

Adapting Sensing and Transmission Times to Improve Secondary User Throughput in Cognitive Radios Ad Hoc Networks	Sentimental Bi-Partite Graph Of Political Blogs

GALLAG Strip: A Mobile, Programming With Demonstration Environment for Sensor-Based Context-Aware Application Programming	A Tool For Threading, Organizing And Presenting Emails Using A Web Interface

Low complexity differential geometric computationswith applications to activity analysis	Machine Learning Methods for Biosignature Discovery

Design and Development of an Immersive Virtual Reality Team Trainer for Advance Cardiac Life Support	A High Level Language for Human Robot Interaction

A Fast Fluid Simulator Using Smoothed-Particle Hydrodynamics	Multimodal Data Fusion As a Predictior of Missing Information in Social Networks

Upper Body Motion Analysis Using Kinect for Stroke Rehabilitation at the Home	Scalable Knowledge Interchange Broker: Design and Implementation for Semiconductor Supply Chain Systems

Fast Process Migration on Intel SCC using Lookup Tables (LUTs)	Quantitative Evaluation of Control Flow based Soft Error Protection Mechanisms

Scalable planning under uncertainty	A dynamic model for evaluating methods to compensate for schedule compression in the system test process

Global analysis of biological function modeling and prediction	A specification-based test case generation mechanism for service-oriented software testing

Effective use of term relationships in Web content mining	Stochastic performance modeling and analysis of VLSI circuits in the presence of process variations

Development of situation awareness capability in service-based systems	Multi-channel ethernet passive optical networks

Energy aware node scheduling and multiple target tracking with event miss-ratio assurances in wireless sensor networks	Toward secure consumer computing: Assuring software integrity and protecting private data

Statistical characteristics and models of cyber attack and norm data for cyber attack detection	Associative and sequential classification with adaptive constrained regression methods

Bandwidth extension of speech using perceptual criteria	Process specification modeling language for SOA-Based Application modeling

Dynamic bandwidth allocation with rate and delay guarantees for CDMA-based wireless networks	Contention resolution with power control in wireless medium access

Visual and persistent co-design modeling for network systems	Heuristic algorithms and a spatial decision support system for locating hydrogen-refueling stations

Arizona's EETT (Enhancing Education Through Technology) districts: Teacher and grant administrator perceptions of the status of technology-rich environments	PSML-C based composition and process collaboration in consumer-centric Service Oriented Architecture

Topology design of service overlay networks with a generalized model	Robust visual tracking of articulated human motion

Modelling and monitoring ad hoc networks	Competitive nurse rostering and rerostering

Quality-adaptive execution and optimization of media processing workflows	Building dependable service-oriented application via dynamic reconfiguration and fault-tolerant reconfiguration collaboration protocol

A semantic-based service matching approach for service-based systems	Compact routing design in networks of low doubling dimension

A verification framework for Service-Oriented Architecture applications	PSML-based dynamic process collaboration framework in Service Oriented Architecture

Cross-layer opportunistic adaptation for voice communications over wireless ad hoc networks	A model-driven framework for the specification, grounding, and execution of semantic Web services

Composable modeling and distributed simulation framework for discrete supply-chain systems with predictive control	Decentralized resource sharing and multimedia workflow processing

Tree-based methods to model dependent data	Graceful degradation in server overload using adaptive content

Content-based mining of query replacements	Automated information extraction from Web pages using presentation and domain regularities

An approach to automated agent deployment in service-based systems	Specification and management of security requirements for service-based systems

Byzantine Fault-Tolerant Storage system	A multi-modeling approach using simulation and optimization for supply-chain network systems

Statistical inference with learning for temporal data analysis in visual computing	Learning biological interactions from multiple data sources

Automated 3D face authentication & recognition	Mutual coupling, channel model, and BER for curvilinear antenna arrays

Optimization and analysis of computer and network system operations for quality of service (QoS) assurance	Robust visual tracking with applications in mediated environments

Human perception driven indexing and labeling of faces	Power-efficient geographic routing in wireless sensor networks

Using quality attributes to identify and specify embedded system requirements	Efficient resource allocation techniques for improved capacity in optical and wireless networks

Towards the coordination of service-oriented software development	Automated segmentation methods for mouse brain images

Document triage using handwriting and machine print segmentation	Network reliability and resilience

Overlay network construction in highly decentralized networks	Receiver-cost cognizant maximal lifetime routing in embedded networks: Model and solutions

New image rectification schemes for 3D vision based on sequential virtual rotation	Social computing in blogosphere

Composing hybrid discrete event system and cellular automata models	Energy-efficient pro-active techinques for safe and survivable cyber-physical systems

Security solutions for cyber-physical systems	Methods for visualization and analysis of geo-spatial data

System support for conflict resolution in integrating metadata	Segment, enrich, annotate, and link (SEAL) paradigm for context-aware access to complex and structured data

A framework for the integration of information retrieval and parse tree database with applications in the genomics domain	RealSpec: An executable real-time specification language

Mapping and islanding problems in small scale on-chip networks and large scale power grid networks	Probabilistic graphical models for pattern recognition and optical motion capture tracking

Realistic application driven comprehensive visual target detection and tracking systems	Free viewpoint video with image-based rendering

Learning with large-scale social media networks	Coverage and connectivity problems for sensor networks

Community discovery in dynamic, rich-context social networks	Spectral feature selection for mining ultrahigh dimensional data

Conformal predictions in multimedia pattern recognition	The First-Fit Algorithm Uses Many Colors on Some Interval Graphs

A Computational Framework for Wearable Accelerometer-Based Activity and Gesture Recognition	Representing and Reasoning about Goals and Policies of Agents

A Mesh-Free Finite Element Solution for Unilateral Contact Problems	An Efficient Approach to Situation-Aware Service Discovery in Pervasive Computing Environments

An Effective Approach to Biomedical Information Extraction with Limited Training Data	Topics in Power and Performance Optimization of Embedded Systems

Mediated Social Interpersonal Communication: Evidence-based Understanding of Multimedia Solutions for Enriching Social Situational Awareness	Adaptive decentralized routing and detection of overlapping communities

Materialized views over heterogeneous structured data sources in a distributed event stream processing environment	Analyzing the dynamics of communication in online social networks

Smooth surfaces for video game development	Determining the Integrity of Applications and Operating Systems using Remote and Local Attesters

Post-Optimization: Necessity Analysis for Combinatorial Arrays	Multi-Label Dimensionality Reduction

Finding Provenance Data in Social Media	FLOSSSim: Understanding the Free/Libre Open Source Software (FLOSS) Development Process through Agent-Based Modeling

Statistical Monitoring and Control of Locally Proactive Routing Protocols in MANETs	Bridging the Gap between Classical Logic Based Formalisms and Logic Programs

Somatic ABC's: A Theoretical Framework for Designing, Developing and Evaluating the Building Blocks of Touch-Based Information Delivery	System Level Power and Thermal Management on Embedded Processors

Single Machine Scheduling: Comparison of MIP Formulations and Heuristics for Interfering Job Sets	Smart Compilers for Reliable and Power-efficient Embedded Computing

Threshold Logic Properties and Methods: Applications to Post-CMOS Design Automation and Gene Regulation Modeling	Robust and Efficient Medium Access Despite Jamming

Computational methods for perceptual training in radiology	Trust and Profit Sensitive Ranking for the Deep Web and On-line Advertisements

Assurance Management Framework for Access Control Systems	Novel Statistical Models for Complex Data Structures

Computational Methods for Knowledge Integration in the Analysis of Large-scale Biological Networks	Compilation of Stream Programs onto Embedded Multicore Architectures

Characterization of Cost Excess in Cloud Applications	Factors Affecting Behavioral Change through the Use of Computer-Mediated Technology

Application of a Temporal Database Framework for Processing Event Queries	Model Based Safety Analysis and Verification of Cyber-Physical Systems

When is Temporal Planning Really Temporal?	Design, Analysis and Resource Allocations in Networks In Presence of Region-Based Faults

Optimization for Resource-Constrained Wireless Networks	Learning from Asymmetric Models and Matched Pairs

New Directions in Sparse Models for Image Analysis and Restoration	A pairwise comparison matrix framework for large-scale decision making

Sparse methods in image understanding and computer vision