An Economic-Based Empirical Approach To Modeling the Internet's Inter-Domain Topology and Traffic Matrix

Reliable and Energy-Efficient Wireless Sensor Networks for Surveillance and Monitoring

Integrated Resource Allocation and Planning in Stochastic Multiagent Environments

Player Modeling in the Interactive Drama Architecture

A Scalable Hybrid Network Monitoring Architecture for Measuring,Characterizing, and Tracking Internet Threat Dynamics

Providing Efficient and Reliable End-host Multicast Services on the Internet

Efficient evaluation of XML queries in Timber

Modeling and design of low-power VLSI systems accounting for multiple sources of uncertainty

Supporting Representation Construction in Sensemaking

Inference Methods for Message Endpoint Localization in Networks

Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking

Accurate Interconnect Modeling for Efficient Circuit Simulation in VLSI Chip Design

Algorithms for Satisfiability Problems in Linear Integer Arithmetic Logic

Analyzing Intrusions Using Operating System Level Information Flow

Exploiting Unused Storage Resources to Enhance System's Energy Efficiency, Performance, and Fault Tolerance

Improving Performance and Energy Consumption in Region-Based Caching Architectures

Constructive Logic and Layout Synthesis

Execution Replay for Intrusion Analysis

Efficient Quantum Circuit Simulation

Techniques for Hybrid Electric Vehicle Controller Synthesis