ProQuest Subject Index - Computer science at THE UNIVERSITY OF ARIZONA

TOP >> THE UNIVERSITY OF ARIZONA >> Computer science

Browse Institutions

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

Properties of stochastic flow and permeability of random porous media	Fault location via precise dynamic slicing

Automating knowledge flows by extending conventional information retrieval and workflow technologies	Toward a flexible and reconfigurable distributed simulation: A new approach to distributed DEVS

DEVS Unified Process for integrated development and testing of service oriented architectures	On capacity conservation in wireless networks

Indexing XML data for efficient twig pattern matching	Fault location and avoidance in long-running multithreaded applications

A situational awareness enhancing system for minimally invasive surgery training	Self-configuration framework for networked systems and applications

Multilevel methodology for simulation of spatio-temporal systems with heterogeneous activity: Application to spread of valley fever fungus	Ontology/data engineering based distributed simulation over service oriented architecture for network behavior analysis

Matching slides to presentation videos	Towards improving conceptual modeling: An examination of common errors and their underlying reasons

Activity-aware computing: Modeling of human activity and behavior	Stork: Secure package management for VM environments

Closing the defect reduction gap between software inspection and test-driven development: Applying mutation analysis to iterative, test-first programming	An automated methodology for negotiation behaviors in multi-agent engineering applications

Algorithms and protocols for constrained path selection and fault monitoring in packet networks	Efficient routing in wireless ad hoc networks

Inverse parametric alignment for accurate biological sequence comparison	Optimal alignment of multiple sequence alignments

Memory footprint reduction of operating system kernels	Supporting the procedural component of query languages over time-varying data

Interoperability between DEVS simulators using service oriented architecture and DEVS namespace	Simultaneous embedding and level planarity

Unlabeled level planarity	Efficient algorithms for the cell based single destination system optimal dynamic traffic assignment problem

Efficient construction of accurate multiple alignments and large-scale phylogenies	Evolution meets revolution: The contributions of computers to word- and tone-painting in choral-electroacoustic works

Finite-state machine construction methods and algorithms for phonology and morphology	Large scale evacuation of carless people during short- and long-notice emergency

Context-aware resource management	Digital trails

Theory and practice of dynamic voltage/frequency scaling in the high performance computing environment	Gossamer: A lightweight approach to using multicore machines

Learning to recognize agent activities and intentions	Efficient radio resource management and routing mechanisms for opportunistic spectrum access networks

Reproducing software experiments	Special-Purpose, Embodied Conversational Intelligence with Environmental Sensors (SPECIES) Agents: Implemented in an Automated Interviewing Kiosk

Deobfuscation of packed and virtualization-obfuscation protected binaries	Novel Immersed Interface Method for Solving the Incompressible Navier-Stokes Equations

Intelligent tutoring systems for skill acquisition	Development and implementation of the Multi-resolution Assignment and Loading of Transportation Activities (MALTA) simulation based dynamic traffic assignment system, Recursive On-line Load Balance framework (ROLB)

A framework for recognizing and executing verb phrases	Efficient geometric algorithms for wireless networks

Optimizing processor and memory for green computing	CSI in the Web 2.0 age: Data collection, selection, and investigation for knowledge discovery

People, processes, and products: Case studies in open-source software using complex networks	Building economic efficiency into multicast content delivery networks

Machine learning methods for articulatory data	Using real-time physiological and behavioral data to predict students' engagement during problem solving: A machine learning approach

Micro-specialization: Dynamic code specialization in DBMSes	Viral community dynamics and functional specialization in the Pacific Ocean

Human action recognition on videos: Different approaches	Database forensics in the service of information accountability

Energy management for virtual machines