 TR-2009-17
- Gegick, Michael ; Rotella, Pete ; Xie, Tao
Identifying Security Fault Reports via Text Mining
September 02, 2009
- TR-2009-16
- Anton, Annie I. ; Earp, Julia B. ; Young, Jessica D.
How Internet Users’ Privacy Concerns Have Evolved Since 2002
July 29, 2009
- TR-2009-15
- Wang, Chao ; Mueller, Frank ; Engelmann, Christian ; Scott, Stephen L.
Proactive Process-Level Live Migration and Back Migration in HPC Environments
June 05, 2009
- TR-2009-14
- Wang, Chao ; Mueller,Frank ; Engelmann, Christian ; Scott, Stephen L. ;
Hybrid Full/Incremental Checkpoint/Restart for MPI Jobs in HPC Environments
June 02, 2009
- TR-2009-13
- Amit Awekar, ; Nagiza F. Samatova, ; Paul Breimyer
Incremental All Pairs Similarity Search for Varying Similarity Thresholds
May 26, 2009
- TR-2009-12
- Amit Awekar ; Nagiza F. Samatova
Fast Matching for All Pairs Similarity Search
May 26, 2009
- TR-2009-11
- Chirkova, R. ; Fletcher, George H.L.
Towards Well-Behaved Schema Evolution
April 28, 2009
- TR-2009-10
- Shin, Yonghee ; Meneely, Andrew ; Williams, L.
Evaluating Complexity, Code Churn, and Developer Activity Metrics as Indicators of Software Vulnerabilities
April 19, 2009
- TR-2009-9
- Jadeep Marathe ; Vivek Thakkar ; Frank Mueller
Feedback-Directed Page Placement for ccNUMA via Hardware-generated Memory Traces
March 10, 2009
- TR-2009-8
- Kormilitsin, M. ; Chirkova, R. ; Fathi, Y. ; Stallmann, M.
Systematic Exploration of Efficient Query Plans for Automated Database Restructuring
March 04, 2009
- TR-2009-7
- Afrati, F. ; Chandrachud, M. ; Chirkova, R. ; Mitra, P.
Approximate Rewriting of Queries Using Views
March 04, 2009
- TR-2009-6
- Xie, Tao
Improving Automation in Developer Testing: State of the Practice
February 20, 2009
- TR-2009-5
- Liu, Y ; Ning, P ; Reiter, M
False Data Injection Attacks against State Estimation in Electronic Power Grids
February 16, 2009
- TR-2009-4
- Maxwell, Jeremey C ; Anton, Annie I
Validating Existing Requirements for Compliance with Law Using a Production Rule Model
February 12, 2009
- TR-2009-3
- Michael Gegick ; Tao Xie ; Laurie Williams ; Pete Rotella
Which Faults are Security Faults?
February 02, 2009
- TR-2009-2
- Shin, Kyuyong ; Reeves, Douglas S. ; Rhee, Injong ; Song, Yoonki
Winnowing: Protecting P2P Systems Against Pollution By Cooperative Index Filtering
January 29, 2009
- TR-2009-1
- Gegick, Michael ; Rotella, Pete ; Williams, Laurie
Predicting Attack-prone Components
January 23, 2009
- TR-2008-29
- Hang, Chung-Wei ; Wang, Yonghong ; Singh, Munindar P.
Operators for Propagating Trust and their Evaluation in Social Networks
December 13, 2008
- TR-2008-28
- Meneely, Andrew ; Williams, Laurie
Evaluating a Suite of Developer Activity Metrics as Measures of Security Vulnerabilities
December 11, 2008
- TR-2008-27
- Chirkova, R. ; Genesereth, M.
Equivalence of SQL Queries In Presence of Embedded Dependencies
December 11, 2008
- TR-2008-26
- Wang, Zhi ; Jiang, Xuxian ; Cui, Weidong ; Wang, Xinyuan ;
ReFormat: Automatic Reverse Engineering of Encrypted Messages
December 10, 2008
- TR-2008-25
- Maxwell, Jeremy C. ; Anton, Annie I.
Using Production Rules to Aid Security Requirements Acquisition from Legal Texts
November 29, 2008
- TR-2008-24
- Young, Jessica D. ; Anton, Annie I.
Analyzing Policy Commitments for Privacy and Security Requirements
November 12, 2008
- TR-2008-23
- Heckman, Sarah ; Williams, Laurie
A Measurement Framework of Alert Characteristics for False Positive Mitigation Models
October 28, 2008
- TR-2008-22
- Smith, Ben ; Williams, Laurie
A Survey on Code Coverage as a Stopping Criterion for Unit Testing
September 28, 2008
- TR-2008-21
- Williams, Laurie ; Gegick, Michael ; Meneely, Andrew
Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer
September 25, 2008
- TR-2008-20
- Prasanth Anbalagan ; Mladen Vouk
Reliability and Security Analysis of Open Source Software
September 19, 2008
- TR-2008-19
- Chen, D. ; Chirkova, R. ; Sadri, F. ; Salo, T.
Efficient Query Processing in XML-Based Information Integration
July 31, 2008
- TR-2008-18
- Kormilitsin, M. ; Chirkova, R. ; Fathi, Y. ; Stallmann, M.
Plan-based View and Index Selection for Query-Performance Improvement
July 31, 2008
- TR-2008-17
- Watson, Benjamin ; Brink, David ; Stallmann, Matthias ; Devajaran, Ravinder ; Rakow, Matt, ; Rhyne, Theresa-Marie ; Patel, Himesh
Matrix depictions for large layered graphs
July 16, 2008
- TR-2008-16
- Injong Rhee ; Minsu Shin ; Seongik Hong ; Kyunghan Lee ; Song Chong
On the Levy-walk Nature of Human Mobility: Do Humans Walk like Monkeys?
May 23, 2008
- TR-2008-15
- Kyunghan Lee ; Seongik Hong ; Seong Joon Kim ; Injong Rhee ; Song Chong ;
Demystifying Levy Walk Patterns in Human Walks
May 23, 2008
- TR-2008-14
- Ajiw Warrier ; Injong Rhee
DiffQ: Differential Backlog Congestion Control for Wireless Multi-Hop Networks
May 23, 2008
- TR-2008-13
- Mohan, Sibin ; Mueller, Frank
Preserving Timing Anomalies in Pipelines of High-End Processors
May 19, 2008
- TR-2008-2
- Desai, Nirmit ; Chopra, Amit K. ; Singh, Munindar P.
Amoeba: A Methodology for Modeling and Evolution of Cross-Organizational Business Processes
May 04, 2008
- TR-2008-11
- Heckman, Sarah Smith ; Williams, Laurie
On Establishing a Benchmark for Evaluating Static Analysis Alert Prioritization and Classification Techniques
April 24, 2008
- TR-2008-10
- Watson, B. ; Brink, D. ; Stallman, M. ; Devajaran, D. ; Rhyne, T.-M. ; Patel, H.
Visualizing very large layered graphs with quilts
April 08, 2008
- TR-2008-9
- Smith, Ben ; Williams, Laurie
On Guiding the Augmentation of an Automated Test Suite via Mutation Analysis
February 28, 2008
- TR-2008-8
- Michael Gegick ; Laurie Williams ; Jason Osborne
Predicting Attack-prone Components with Internal Metrics
February 25, 2008
- TR-2008-7
- Gegick, Michael ; Williams, Laurie ; Vouk, Mladen
Predictive Models for Identifying Software Components Prone to Failure During Security Attacks
February 25, 2008
- TR-2008-6
- Travis Breaux, Jonathan Lewis, Paul Otto, Annie I. Anton
Identifying Vulnerabilities and Critical Requirements Using Criminal Court Proceedings
February 12, 2008
- TR-2008-5
- Breaux, Travis D. ; Anton, Annie I. ; Boucher, Kent ; Dorfman, Merlin
Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility
February 11, 2008
- TR-2008-4
- Shin, Yonghee ; Williams, Laurie
Towards a Taxonomy of Techniques to Detect Cross-Site Scripting and SQL Injection Vulnerabilities
February 02, 2008
- TR-2008-3
- Udupi, Yathiraj B. ; Singh, Munindar P.
Design Patterns for Policy-Based Service Engagements
January 20, 2008
- TR-2008-1
- Hu, Vincent C. ; Kuhn, D. Richard ; Xie, Tao ;
Property Verification for Access Control Models via Model Checking
January 04, 2008
- TR-2007-36
- Liu, An ; Ning, Peng
TinyECC: A Configurable Library for Elliptic Curve Cryptography in Wireless Sensor Networks
November 02, 2007
- TR-2007-35
- Acharya, Mithun ; Xie, Tao
Static Detection of API Error-Handling Bugs via Mining Source Code
October 15, 2007
- TR-2007-34
- Thummalapenta, Suresh ; Xie, Tao
SpotWeb: Characterizing Framework API Usages Through a Code Search Engine
October 15, 2007
- TR-2007-33
- Lechner, Tom ; Watson, Benjamin ; Wilensky, Uri ; Tisue, Seth ; Felsen, Martin ; Moddrell, Andy ; Ren, Pin ; Brozefsky, Craig
Procedural Modeling of Urban Land Use
October 04, 2007
- TR-2007-32
- Kormilitsin, M. ; Chirkova, R. ; Fathi, Y. ; Stallmann, M.
View and Index Selection for Query-Performance Improvement: Algorithms, Heuristics and Complexity
October 02, 2007
- TR-2007-31
- Asgharzadeh Talebi, Z. ; Chirkova, R. ; Fathi, Y. ; Stallmann, M.
Exact and Inexact Methods for Selecting Views and Indexes for OLAP Performance Improvement.
October 02, 2007
- TR-2007-30
- Chirkova, R. ; Chen, D. ; Sadri, F. ; Salo, T.J.
Pay-As-You-Go Information Integration: The Semantic Model Approach
October 02, 2007
- TR-2007-29
- Warrier, A ; Rhee, I
Rethinking Wireless MAC Architecture for Quality of Service Support . Design and Implementation
September 21, 2007
- TR-2007-28
- Rhee, I ; Shin, M ; Hong, S ; Lee, K ; Chong, S
On the Levy-walk Nature of Human Mobility: Do Humans Walk like Monkeys?
September 21, 2007
- TR-2007-27
- Asgharzadeh Talebi, Z. ; Chirkova, R. ; Fathi, Y.
Exact and Inexact Methods for Solving the Problem Of View Selection for Aggregate Queries
September 20, 2007
- TR-2007-26
- Breaux,Travis D. ; Anton, Annie I.
Managing Ambiguity and Traceability in Regulatory Requirements: A Tool-supported Frame-based Approach
September 14, 2007
- TR-2007-25
- Martin, E ; Xie, T ; Hu, V
Assessing Quality of Policy Properties in Verification of Access Control Policies
September 16, 2007
- TR-2007-24
- Thummalapenta, S ; Xie, T
NEGWeb: Static Defect Detection via Searching Billions of Lines of Open Source Code
September 16, 2007
- TR-2007-23
- Lin, Heshan ; Ma, Xiaosong ; Li, Jiangtian ; Samatova, Nagiza ; Yu, Ting
Processor and Data Scheduling for Online Parallel Sequence Database Servers
August 20, 2007
- TR-2007-22
- Ramaprasad, Harini ; Mueller, Frank
Bounding Worst-Case Response Time for Tasks With Non-Preemptive Regions
August 08, 2007
- TR-2007-21
- Hyun, Sangwon ; Ning, Peng ; Liu, An ; Du, Wenliang
Seluge: Secure and DoS-Resistant Code Dissemination in Wireless Sensor Networks
August 05, 2007
- TR-2007-20
- Williams, Laurie
Lessons Learned from Seven Years of Pair Programming at North Carolina State University
August 03, 2007
- TR-2007-19
- Singh, Munindar ; P. Chopra, Amit K. ; Desai, Nirmit
Commitment-Based SOA
July 18, 2007
- TR-2007-18
- Zheng, Jiang ; Williams, Laurie ; Robinson, Brian
Pallino: Automation to Support Regression Test Selection for COTS-based Applications
June 26, 2007
- TR-2007-17
- Park, Young Hee ; Reeves, Douglas S.
Adaptive TIming-Based Active Watermarking for Attack Attribution Through Stepping Stones
June 26, 2007
- TR-2007-16
- St. Amant, Robert ; Horton, Thomas E.
Revisiting the Definition of Animal Tool Use
June 01, 2007
- TR-2007-15
- Wang, C ; Liu, A ; Ning, P
Cluster-Based Minimum Mean Square Estimation for Secure and Resilient Localization in Wireless Sensor Networks
June 04, 2007
- TR-2007-14
- Stallmann, Matthias F ; Brglez, Franc
High-Contrast Algorithm Behavior: Observation, Conjecture, and Experimental Design
May 03, 2007
- TR-2007-13
- Sherriff, Mark ; Lake, Michael ; Williams, Laurie
Empirical Software Change Impact Analysis using Singular Value Decomposition
April 29, 2007
- TR-2007-12
- Asgharzadeh Talebi, Z. ; Chirkova, R. ; Fathi, Y.
A study of a formal model for view selection for aggregate queries
March 27, 2007
- TR-2007-11
- Desai, Nirmit ; Chopra, Amit K. ; Arrott, Matthew ; Specht, Bill ; Singh, Munindar P.
Engineering Foreign Exchange Processes via Commitment Protocols
March 01, 2007
- TR-2007-10
- M. Latif ; R. Ramaseshan ; F. Mueller
Soft Error Protection via Fault-Resilient Data Representations
March 12, 2007
- TR-2007-9
- Breaux,Travis D. ; Anton, Annie I.
Analyzing Regulatory Rules for Privacy and Security Requirements
February 23, 2007
- TR-2007-8
- Martin, Evan ; Xie, Tao
Automated Test Generation for Access Control Policies via Change-Impact Analysis
February 19, 2007
- TR-2007-7
- Otto, Paul N. ; Anton, Annie I.
The Role of Law in Requirements Engineering
February 12, 2007
- TR-2007-6
- Breaux, Travis D. ; Anton, Annie I.
Impalpable Constraints: Framing Requirements for Formal Methods
February 12, 2007
- TR-2007-5
- Min Yeol Lim ; Vincent W. Freeh
Determining the Minimum Energy Consumption using Dynamic Voltage and Frequency Scaling
January 23, 2007
- TR-2007-4
- Vincent W. Freeh ; Tyler K. Bletsch ; Freeman L. Rawson, III
Scaling and Packing on a Chip Multiprocessor
January 22, 2007
- TR-2007-3
- Li, Jiangtian ; Ma, Xiaosong ; Yoginath, Srikanth ; Kora, Guruprasad ; Samatova, Nagiza
Automatic, Transparent Runtime Parallelization of the R Scripting Language
January 19, 2007
- TR-2007-2
- Layman, Lucas ; Williams, Laurie ; St. Amant, Robert
Toward Reducing Fault Fix Time: Understanding Developer Behavior for the Design of Automated Fault Detection Tools, the Full Report
January 15, 2007
- TR-2007-1
- Nagarajan, Arun ; Mueller, Frank
Proactive Fault Tolerance for HPC with Xen Virtualization
January 04, 2007
- TR-2006-36
- Bonto-Kane, Marivic A.
Engineering Models of Human Performance on the Design of Mobile Device Interfaces
November 29, 2006
- TR-2006-35
- Breaux Travis D. ; Anton Annie I. ; Doyle Jon
Semantic Parameterization: A Process for Modeling Domain Descriptions
October 21, 2006
- TR-2006-34
- Nachiappan Nagappan ; Laurie Williams ; Mladen Vouk ; Jason Osborne
Using In-Process Testing Metrics to Estimate Post-Release Field Quality of Java Programs
December 29, 2006
- TR-2006-33
- Mu, Wei
Towards a Computational Model of Image Schema Theory
November 29, 2006
- TR-2006-32
- Williams, Lloyd
Survey of Tool Use and Analysis of its Implications for the Design of Robotic Tool Users
November 29, 2006
- TR-2006-31
- Horton, Thomas E
Behavior-based approaches to vision in habile robotics
November 29, 2006
- TR-2006-30
- Ho, Chih wei ; Williams, Laurie
Deriving Performance Requirements and Test Cases with the Performance Refinement and Evolution Model
November 20, 2006
- TR-2006-29
- Chen, D. ; Chirkova, R. ; Sadri, F.
designing an information integration and interoperability system - first steps
October 19, 2006
- TR-2006-28
- Ho, Chih-wei ; Williams, Laurie
Managing Software Performance Engineering Activities with the Performance Refinement and Evolution Model (PREM)
September 26, 2006
- TR-2006-27
- Breaux, Travis D.; Anton, Annie I.
Acquiring Software Compliance Artifacts from Policies and Regulations
September 08, 2006
- TR-2006-26
- Irwin, Keith ; Yu, Ting ; William H. Winsborough
On the Modeling and Analysis of Obligations
August 25, 2006
- TR-2006-25
- Ho, Chih-wei; Williams, Laurie
An Introduction to Performance Testing
August 20, 2006
- TR-2006-24
- Miller, Randy ; Williams, Laurie
Personas: Moving Beyond Role-Based Requirements Engineering
August 19, 2006
- TR-2006-23
- Gegick, Michael ; Isakson, Eric ; Williams, Laurie
An Early Testing and Defense Web Application Framework for Malicious Input Attacks
August 19, 2006
- TR-2006-22
- Janvi Badlaney ; Rohit Ghatol ; Romit Jadhwani
An Introduction to Data-Flow Testing
August 09, 2006
- TR-2006-21
- Shin, Yonghee ; Williams, Laurie ; Xie, Tao
SQLUnitGen: Test Case Generation for SQL Injection Detection
August 06, 2006
- TR-2006-20
- Ma, Xiaosong ; Vazhkudai, Sudharshan S. ; Freeh, Vincent W. ; Yang, Tao ; Simon, Tyler A. ; Scott, Stephen L.
Coupling Prefix Caching and Collective Downloads for Remote Dataset Access
July 25, 2006
- TR-2006-19
- Lim, Min Yeol ; Freeh, Vincent W. ; Lowenthal, David K
Adaptive, Transparent Frequency and Voltage Scaling of Communication Phases in MPI Programs
July 25, 2006
- TR-2006-18
- Otto, Paul N. ; Anton, Annie I. ; Baumer, David L.
The ChoicePoint Dilemma: How Data Brokers Should Handle the Privacy of Personal Information
July 01, 2006
- TR-2006-17
- Kailasam, Gayathri Tambaram ; Kang, Jaewoo
Efficient SKYCUBE Computation using Bitmaps
July 12, 2006
- TR-2006-16
- Koudas, Nick ; Srivastava, Divesh ; Yu, Ting ; Zhang, Qing
Aggregate Query Answering on Anonymized Tables
July 10, 2006
- TR-2006-15
- Huang, S. ; Dutta,R.
Dynamic Traffic Grooming: The Changing Role of Traffic Grooming
July 07, 2006
- TR-2006-14
- Breaux, Travis ; Anton, Annie I. ; Spafford, Eugene H.
A Distributed Requirements Management Framework for Compliance
June 15, 2006
- TR-2006-13
- Smith, Daniel M. ; Freeh, Vincent W. ; Mueller, Frank
Asymmetric Multiprocessing for Simultaneous Multithreading Processors
June 20, 2006
- TR-2006-12
- Evan Martin; Tao Xie
Automated Mutation Testing of Access Control Policies
May 06, 2006
- TR-2006-11
- Wang, Yonghong ; Singh, Munindar P.
Trust via Evidence Combination: A Mathematical Approach Based on Certainty
May 01, 2006
- TR-2006-10
- Dev, K. ; Chirkova, R.
Concurrency control in distributed caching
April 13, 2006
- TR-2006-9
- Breaux, Travis D. ; Anton, Annie I.
An Algorithm to Generate Compliance Monitors from Regulations
March 03, 2006
- TR-2006-8
- Martin, E ; Xie, T ; Yu, T
Defining and Measuring Policy Coverage in Testing Access Control Policies
March 01, 2006
- TR-2006-7
- Freeh, Vincent W. ; Ma, Xiaosong ; Vazhkudai, Sudharshan S. ; Strickland, Jonathan W.
Controlling Impact while Aggressively Scavenging Idle Resources
February 20, 2006
- TR-2006-6
- Breaux, Travis D. ; Anton, Annie I. ; Vail, Matthew W.
Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations
February 13, 2006
- TR-2006-5
- Gou, G. ; Kormilitsin, M. ; Chirkova, R.
Query evaluation using overlapping views: completeness and efficiency
February 12, 2006
- TR-2006-4
- Gegick, Michael ; Williams, Laurie
Launching Automated Security Attacks through Unit-level Penetration Testing
February 07, 2006
- TR-2006-3
- Springer IV, Robert C. ; Lowenthal, David K. ; Rountree, Barry ; Freeh, Vincent W.
Minimizing Execution Time in MPI Programs on an Energy-Constrained, Power-Scalable Cluster
February 02, 2006
- TR-2006-2
- Zohreh Asgharzadeh Talebi ; Rada Chirkova ; Yahya Fathi
A Study of a Formal Model For View Selection for Aggregate Queries
January 05, 2006
- TR-2006-1
- Jetley, Raoul ; Iyer, Purush ; Jones, Paul
An Approach to Revieiwng Software in Medical Devices
January 01, 2006
- TR-2005-49
- Sbeity, Ihab ; Brenner, Leonardo ; Plateau, Brigitte ; Stewart, William J.
Phase-Type Distributions in Stochastic Automata Networks
December 20, 2005
- TR-2005-48
- Ramaprasad, Harini ; Mueller, Frank
Tightening the Bounds on Feasible Preemption Points
December 19, 2005
- TR-2005-47
- Breaux, Travis D. ; Anton, Annie I. ; Karat, Clare-Marie ; Karat, John
Enforceability vs. Accountability in Electronic Policies
December 10, 2005
- TR-2005-46
- Krebs, Williams ; Ho, Chih-wei ; Williams, Laurie ; Layman, Lucas
Rational Unified Process Evaluation Framework Version 1.0
December 01, 2005
- TR-2005-45
- Sherriff, Mark ; Boehm, Barry ; Williams, Laurie ; Nagappan, Nachiappan
An Empirical Process for Building and Validating Software Engineering Parametric Models
October 19, 2005
- TR-2005-44
- Srikanth, Hema ; Williams, Laurie ; Osborne, Jason
Towards the Prioritization of System Test Cases
October 11, 2005
- TR-2005-43
- Zhang, Q ; Yu, T
A Frameworkfor Identifying Compromised Nodes in Sensor Networks
September 25, 2005
- TR-2005-42
- He, Qingfeng ; AntóAnnie I.
Integrating Access Control Policy Specification into the Software Development Process
September 09, 2005
- TR-2005-41
- Dennis, Brent M. ; Healey, Christopher G.
A Survery of Preference Elicitation
September 05, 2005
- TR-2005-40
- Layman, Lucas ; Cornwell, Travis ; Williams, Laurie ; Osborne, Jason
Personality Profiles and Learning Styles of Advanced Undergraduate Computer Science Students
August 29, 2005
- TR-2005-39
- Ning, P. ; Liu, A. ; Du, W.
Mitigating DoS Attacks against Signature-Based Broadcast Authentication in Wireless Sensor Networks
August 23, 2005
- TR-2005-38
- Zheng, Jiang ; Robinson, Brian ; Williams, Laurie ; Smiley, Karen
An Initial Study of a Lightweight Process for Change Identification and Regression Test Selection When Source Code is Not Available
July 28, 2005
- TR-2005-37
- Vazhkudai, Sudharshan S. ; Ma, Xiaosong ; Freeh, Vincent W. ; Strickland, Jonathan W. ; Tammineedi, Nandan ; Stephen L. Scott
FreeLoader: Scavenging Desktop Storage Resources for Scientific Data
July 27, 2005
- TR-2005-36
- Kappiah, Nandini ; Freeh, Vincent W. ; Lowenthal, David K.
Just In Time Dynamic Voltage Scaling: Exploiting Inter-Node Slack to Save Energy in MPI Programs
July 27, 2005
- TR-2005-35
- Kocherlakota, Sarat M. ; Healey, Christopher G.
Summarization Techniques for Visualization of Large, Multidimensional Datasets
July 21, 2005
- TR-2005-34
- Asgharzadeh Talebi, Z. ; Chirkova, R. ; Fathi, Y.
Experimental Study of an IP Model for the View Selection Problem
July 20, 2005
- TR-2005-33
- Seo, Sungbo ; Kang, Jaewoo ; Lee, Dongwon ; Ryu, Keun H.
Adaptive Framework for Multivariate Stream Data Processing in Data-Centric Sensor Applications
July 20, 2005
- TR-2005-32
- Sawant, Amit P. ; Healey, Christopher G.
A Survey of Display Device Properties and Visual Acuity for Visualization
July 19, 2005
- TR-2005-31
- Breaux, Travis D. ; Anton, Annie I.
Mining Rule Semantics to Understand Legislative Compliance
June 23, 2005
- TR-2005-30
- Kang, Jaewoo
Data Models for Exploratory Analysis of Heterogeneous Microarray Data
July 16, 2005
- TR-2005-29
- Kang, Jaewoo ; Han, Tae S; Lee, Dongwon ; Mitra, Prasenjit
Establishing Value Mappings Using Statistical Models and User Feedback
July 16, 2005
- TR-2005-28
- Kang, Jaewoo ; Lee, Dongwon ; Mitra, Prasenjit
Identifying Value Mappings for Data Integration: An Unsupervised Approach
July 16, 2005
- TR-2005-27
- Zhai, Yan ; Ning, Peng ; Xu, Jun
Integrating IDS Alert Correlation and OS-Level Dependency Tracking
June 30, 2005
- TR-2005-26
- Zheng, Jiang ; Williams, Laurie ; Nagappan, Nachiappan ; Snipes, Will ; Hudepohl, John ; Vouk, Mladen
A Study of Static Analysis for Fault Detection in Software
June 19, 2005
- TR-2005-25
- Shaker, Ayman ; Reeves, Douglas S.
Self-Stabilizing Structured Ring Topology P2P Systems
June 17, 2005
- TR-2005-24
- Bilgin, A. ; Chirkova, R. ; Singh, M. ; Salo, T.
Deterministic Prefetching for Container-Managed Persistence
June 01, 2005
- TR-2005-23
- Donggang Liu ; Peng Ning ; Wenliang Du
Group-Based Key Pre-Distribution in Wireless Sensor Networks
May 26, 2005
- TR-2005-22
- Gou, Gang ; Chirkova, Rada
XML Query Processing: A Survey
May 11, 2005
- TR-2005-21
- Injong Rhee
Randomized Dining Philosophers to TDMA Scheduling
February 28, 2005
- TR-2005-20
- Femal, Mark E. ; Freeh, Vincent W.
Boosting Data Center Performance Through Non-Uniform Power Allocation
April 20, 2005
- TR-2005-19
- Strickland, Jonathan W. ; Freeh, Vincent W. ; Ma, Xiaosong ; Vazhkudai, Sudharshan S.
Governor: Autonomic Throttling for Aggressive Idle Resource Scavenging
April 20, 2005
- TR-2005-18
- Freeh, Vincent W. ; Lowenthal, David K. ; Pan, Feng ; Kappiah, Nandani
Using Multiple Energy Gears in MPI Programs on a Power-Scalable Cluster
April 20, 2005
- TR-2005-17
- Breaux, Travis ; Niehaus, James
Requirements for a Policy-enforceable Agent Architecture
May 14, 2005
- TR-2005-16
- Yang, Tao ; Ma, Xiaosong ; Mueller, Frank
Predicting Parallel Applications' Performance Across Platforms Using Partial Execution
March 21, 2005
- TR-2005-15
- St. Amant, Robert ; Wood, Alexander
Tool Use for Autonomous Agents
March 19, 2005
- TR-2005-14
- Afrati, F ; Chirkova, R ; Mitra, P
Accessing queries using views
February 28, 2005
- TR-2005-13
- Layman, Lucas ; Williams, Laurie ; Damian, Daniela ; Buresc, Hynek
Conjectures of Informal Communication-Centric Practices Observed in a Distributed Software Development Team
February 28, 2005
- TR-2005-12
- Li, J. ; Chirkova, R. ; Fathi, Y.
An IP Model for the View Selection Problem
February 26, 2005
- TR-2005-11
- Pai Peng, ; Peng Ning, ; Douglas S. Reeves, ; Xinyuan Wang
Active Timing-Based Correlation of Perturbed Traffic Flows with Chaff Packets
February 25, 2005
- TR-2005-10
- Xinyuan Wang, ; Douglas S. Reeves, ; Peng Ning, ; Fang Feng
Robust Network-Based Attack Attribution through Probabilistic Watermarking of Packet Flows
February 25, 2005
- TR-2005-9
- He, Qingfeng ; AntóAnnie I.
Requirements-based Access Control Analysis and Policy Specification (ReCAPS)
February 16, 2005
- TR-2005-8
- Breaux, Travis ; AntóAnnie I.
Analyzing Goal Semantics for Rights, Permissions, and Obligations
February 15, 2005
- TR-2005-7
- Kohli, Pooja ; Chirkova, Rada Y.
Cache Invalidation and Propagation in Distributed Caching
February 15, 2005
- TR-2005-6
- Pan, Feng ; Freeh, Vincent W. ; Smith, Daniel M.
Exploring the Energy-Time Tradeoff in High-Performance Computing
February 01, 2005
- TR-2005-5
- Femal, Mark E. ; Freeh, Vincent W.
Safe Overprovisioning: Using Power Limits to Increase Aggregate Throughput
February 01, 2005
- TR-2005-4
- Freeh, Vincent W. ; Lowenthal, David K. ; Pan, Feng ; Kappiah, Nandini ; Springer, Rob
Exploring the Energy-Time Tradeoff in MPI Programs on a Power-Scalable Cluster
February 01, 2005
- TR-2005-3
- Kim, K. ; Chirkova, R.
View-Size Estimation in Self-Organizing Databases
January 24, 2005
- TR-2005-2
- Jiang Zheng ; Laurie Williams ; Nachiappan Nagappan ; Will Snipes ; John Hudepohl ; Mladen Vouk ; Kiem Ngo
On the Effectiveness of Static Analysis Tools for Fault-Detection
January 11, 2005
- TR-2005-1
- Evan Martin ; Karen Smiley
Experiment and Comparison of Automated Static Code Analyzers and Automated Dynamic Tests
January 11, 2005
- TR-2004-36
- Breaux, Travis; Anton, Annie
Deriving Semantic Models from Privacy Policies
December 20, 2004
- TR-2004-35
- Zhu, Yifan ; Mueller, Frank
Feedback EDF Scheduling Exploiting Hardware-Assisted Asynchronous Dynamic Voltage Scaling
December 15, 2004
- TR-2004-34
- Desai, Nirmit ; Mallya, Ashok U. ; Chopra, Amit K. ; Singh, Munindar P.
Processes = Protocols + Policies
November 15, 2004
- TR-2004-33
- Lobo, Ruben ; Bitzer, Donald ; Vouk, Mladen
Locally Invertible m-Dimensional Convolutional Codes
November 23, 2004
- TR-2004-32
- Lobo, Ruben ; Bitzer, Donald ; Vouk, Mladen
Inverses of Multivariate Polynomial Matrices using Discrete Convolution
November 23, 2004
- TR-2004-31
- Berenson, Sarah ; Slaten, Kelli ; Williams, Laurie ; Ho, Chih wei
Voices of Women in a Software Engineering Course: Reflections on Collaboration
November 18, 2004
- TR-2004-30
- Breaux, Travis
Policy-Parametric Software
November 17, 2004
- TR-2004-29
- Liu, Donggang ; Ning, Peng ; Du, Wenliang
Attack-Resistant Location Estimation in Sensor Networks
March 15, 2004
- TR-2004-28
- Chirkova, R. ; Afrati, F. ; Gergatsoulis, M. ; Pavlaki, V.
Designing Views to Answer Queries under Set, Bag, and Bag-Set Semantics
October 20, 2004
- TR-2004-27
- Wu, Kehang ; Reeves, Douglas S.
Capacity Planning of Survivable MPLS Networks Supporting DiffServ
April 01, 2004
- TR-2004-26
- Afrati, F. ; Chirkova, R. ; Gupta, S. ; Loftis, C.
Designing and Using Views to Improve Performance of Aggregate Queries
September 09, 2004
- TR-2004-25
- Zhai, Yan ; Ning, Peng ; Iyer, Purush ; Reeves, Douglas
Reasoning about Complementary Intrusion Evidence
September 08, 2004
- TR-2004-24
- He, Qingfeng; Anton, Annie I.
Deriving Access Control Policies from Requirements Specifications and Database Designs
September 02, 2004
- TR-2004-23
- Layman, Lucas ; Williams, Laurie ; Cunningham, Lucas
Motivations and Measurements in an Agile Case Study
August 26, 2004
- TR-2004-22
- Qingfeng He, ; Annie I. AntóD August 03, 2004
A Framework for Privacy-Enhanced Access Control Analysis in Requirements Engineering
- TR-2004-21
- Anton, Annie I. ; Earp, Julia B. ; Vail, Matthew W. ; Jain, Neha ; Gheen, Carrie ; Frink, Jack
An Analysis of Web Site Privacy Policy Evolution in the Presence of HIPAA
July 24, 2004
- TR-2004-20
- Chih-wei Ho; Kelli Slaten; Laurie Williams; Sarah Berenson
Examining the Impact of Pair Programming on Female Students
June 17, 2004
- TR-2004-19
- William Stufflebeam; Annie I. AntóA Qingfeng He; Neha Jain
Specifying Privacy Policies with P3P and EPAL: Lessons Learned
June 17, 2004
- TR-2004-18
- Williams, Laurie A.; Layman, Lucas; Krebs, William
Extreme Programming Evaluation Framework for Object-Oriented Languages Version 1.4
June 17, 2004
- TR-2004-17
- Tateosian, Laura G. ; Healey, Christopher G.
NPR: Art Enhancing Computer Graphics
May 27, 2004
- TR-2004-16
- Chen, Bensong ; Dutta, Rudra ; Rouskas, George N
Traffic Grooming in Star Networks
May 24, 2004
- TR-2004-15
- Anantaraman, Aravindh; Seth, Kiran; Patil, Kaustubh; Rotenberg, Eric; Mueller, Frank
Exploiting VISA for Higher Concurrency in Safe Real-Time Systems
May 03, 2004
- TR-2004-14
- Rhee, Injong; Lee, Jangwon
Distributed Scalable TDMA Scheduling Algorithm}
April 26, 2004
- TR-2004-13
- Rhee, Injong ; Lee, Jangwon
Energy-efficient Route-aware MAC protocols for Diffusion-based Sensor Networks
April 26, 2004
- TR-2004-12
- Berenson, Sarah; Slaten, Kelli M.; Williams, Laurie
Collaboration through Agile Software Development Practices: Student Interviews and Lab Observations
April 26, 2004
- TR-2004-11
- Williams, Laurie ; Krebs, William ; Layman, Lucas
Extreme Programming Evaluation Framework for Object-Oriented Languages Version 1.3
April 06, 2004
- TR-2004-10
- Jackson, Laura E. ; Stallmann, Matthias F.
Directional p-Median in Two Dimensions is NP-Complete
March 16, 2004
- TR-2004-9
- Nagarajan, Anita ; Marathe, Jaydeep ; Mueller, Frank
Detailed Cache Coherence Characterization for OpenMP Benchmarks
March 02, 2004
- TR-2004-8
- Layman, Lucas ; Williams, Laurie ; Cunningham, Lynn
Exploring Extreme Programming in Context: An Industrial Case Study
February 29, 2004
- TR-2004-7
- Jain, Neha; Anton, Annie; Stufflebeam, William H.; He, Qingfeng
Security and Privacy Requirements Analysis Tool Software Requirements Specification Version 2.00
April 9, 2004
- TR-2004-6
- Su, Jie ; Reeves, Douglas S
Replica Placement with Latency Constraints in Content Distribution Networks
February 09, 2004
- TR-2004-5
- Nagappan, Nachiappan; Williams, Laurie ; Vouk, Mladen ; Osborne, Jason
Initial Results of Using In-Process Testing Metrics to Estimate Software Reliability
January 25, 2004
- TR-2004-4
- Jiang, Qinglin ; Reeves, Douglas S. ; Ning, Peng
Certificate Recommendations to Improve Robustness of Webs of Trust
January 21, 2004
- TR-2004-3
- Williams, Laurie; Layman, Lucas; Krebs, William ; AntóAnnie
Exploring the Use of a .Safe Subset. of Extreme Programming: An Industrial Case Study
January 20, 2004
- TR-2004-2
- Williams, Laurie; Krebs, William; Layman, Lucas; Anton, Annie
Toward a Framework for Evaluating Extreme Programming
January 15, 2004
- TR-2004-1
- Williams, Laurie; Krebs, William ; Layman, Lucas
Extreme Programming Evaluation Framework for Object-Oriented Languages -- Version 1.2
January 05, 2004
- TR-2003-22
- Bicici, Ergun; St. Amant, Robert
Reasoning about the functionality of tools and physical artifacts
April 14, 2003
- TR-2003-21
- AntóAnnie I. ; He, Qingfeng
The Complexity Underlying JetBlue.s Privacy Policy Violations
October 23, 2003
- TR-2003-20
- Williams, Laurie; Krebs, William; Layman, Lucas
Extreme Programming Evaluation Framework for Object-Oriented Languages -- Version 1.1
October 08, 2003
- TR-2003-19
- Jiang, Q ; Reeves, D ; Ning, P
Improving Robustness of PGP Keyrings by Conflict Detection
October 02, 2003
- TR-2003-18
- William, Laurie; Krebs, William; Layman, Lucas; AntóAnnie I.
Toward an XP Evaluation Framework
September 22, 2003
- TR-2003-17
- AntóAnnie I.; Bolchini, David; He, Qingfeng
The Use of Goals to Extract Privacy and Security Requirements from Policy Statements
September 23, 2003
- TR-2003-16
- Ning, P. Xu, D.
Learning Attack Strategies from Intrusion Alerts
August 19, 2003
- TR-2003-15
- Nagappan, Nachiappan; Sherriff, Mark; Williams, Laurie
On the Feasibility of Using Operational Profiles to Determine Software Reliability in Extreme Programming
August 19, 2003
- TR-2003-14
- Anton, Annie I. ; Earp, Julia B. ; Bolchini, David ; He, Qingfeng ; Jensen, Carlos ; Stufflebeam, William
The Lack of Clarity in Financial Privacy Policies and the Need for Standardization
August 01, 2003
- TR-2003-13
- Zhu, Yifan Mueller, Frank
Feedback Dynamic Voltage Scaling DVS-EDF Scheduling: Feedback Dynamic Voltage Scaling DVS-EDF Scheduling: Correctness and PID-Feedback
June 25, 2003
- TR-2003-12
- Singh, Munindar P.
Distributed Enactment of Multiagent Flows
May 6, 2003
- TR-2003-11
- Srikanth,Hema; Anton, Annie
Towards Achieving a Balance between Planning and Agility in Software Development
April 5, 2003
- TR-2003-10
- Ning, P
TIAA: A Visual Toolkit for Intrusion Alert Analysis
March 31, 2003
- TR-2003-09
- He, Q
Privacy Enforcement with an Extended Role-Based Access Control Model
February 28, 2003
- TR-2003-08
- Liu, D; Ning, P
Multi-Level microTESLA: A Broadcast Authentication System for Distributed Sensor Networks
March 1, 2003
- TR-2003-07
- Ning, P; Sun, K
How to Misuse AODV: A Case Study of Insider Attacks against Mobile Ad-hoc Routing Protocols
February 12, 2003
- TR-2003-06
- He, Qingfeng; Anton, Annie I.
A Privacy Protection Comparison of Popular Web Browsers
July 01, 2002
- TR-2003-05
- Haygood, Hal; He, Qingfeng; Smith, Shane; Snare, Jodi
A Privacy-Aware Database Interface
December 10, 2002
- TR-2003-04
- Williams, Laurie A.; Shukla, Anuja; Anton, Annie
Pair Programming and the Factors Affecting Brooks' Law
January 31, 2003
- TR-2003-03
- Liu, D.; Ning, P.
Efficient Self-Healing Group Key Distribution with Revocation Capability
January 28, 2003
- TR-2003-02
- Nagappan, Nachiappan; Baheti, Prashant; Williams, Laurie; Gehringer, Edward; Stotts, David
Virtual Collaboration through Distributed Pair Programming
January 10, 2003
- TR-2003-01
- Weibe, Eric; Williams, Laurie; Yang, Kai; Miller, Carol
Computer Science Attitude Survey
January 10, 2003
- TR-2002-16
- Ferzli, Miriam; Wiebe, Eric N.; Williams, Laurie A.
Paired Programming Project: Focus Groups with Teaching Assistants and Students
November 22, 2002
- TR-2002-15
- Dutta, Rudra; Huang, Shu; Rouskas, George N.
Traffic Grooming in Path, Star, and Tree Networks: Complexity, Bounds, and Algorithms
November 1, 2002
- TR-2002-14
- Liu, D.; Ning, P.
Efficient Distribution of Key Chain Commitments for Broadcast Authentication in Distributed Sensor Networks
September 1, 2002
- TR-2002-13
- Ning, P.; Xu, D.
Adapting Query Optimization Techniques for Efficient Intrusion Alert Correlation
August 31, 2002
- TR-2002-12
- Ning, P.; Cui, Y.; Reeves, D.
Constructing Attack Scenarios through Correlation of Intrusion Alerts
August 14, 2002
- TR-2002-11
- Yu, Bin; Singh, Munindar P.
Searching Social Networks
August 8, 2002
- TR-2002-10
- Battestilli, T; Perros, H
Optical Burst Switching: A Survey
July 31, 2002
- TR-2002-09
- Bode, Laura J.
A Scenario Management Case Study: Measuring Scenario Similarity in the EMS
July 24, 2002
- TR-2002-08
- Washington, Alicia N.; Perros, Harry G.; Dutta, Rudra
A Survey of Optical Network Survivability
June 20, 2002
- TR-2002-07
- Srikanth, H; Anton, A
Towards Improved Requirements Practices in Agile Software Development
February 15, 2002
- TR-2002-06
- St. Amant, Robert
A preliminary discussion of tools and tool use
April 25, 2002
- TR-2002-05
- Yolum, Pinar; Singh, Munindar P.
Locating Services in Adaptive Peer-to-Peer Information Systems
February 21, 2002
- TR-2002-04
- Ning, P.; Cui, Y.; Reeves, D.
Analyzing Intensive Intrusion Alerts Via Correlation
March 31, 2002
- TR-2002-03
- Dutta, R; Sichitiu, M
A Networking Perspective for Intelligent Utilization of Directional Antennas in Ad Hoc Wireless Networks: The TANDEM Approach
March 7, 2002
- TR-2002-02
- Dutta, Rudra; Rouskas, George N.
Traffic Grooming in WDM Networks: Past and Future
February 1, 2002
- TR-2002-01
- Ning, Peng; Cui, Yun
An Intrusion Alert Correlator Based on Prerequisites of Intrusions
January 26, 2002
- TR-2001-15
- Alspaugh, Thomas A.; Anton, Annie I.
Scenario Networks for Software Specification and Scenario Management
December 20, 2001
- TR-2001-14
- Anton, Annie I.; Earp, Julia B.
A Taxonomy for Web Site Privacy Requirements
December 18, 2001
- TR-2001-13
- Ning, Peng; Reeves, Douglas; Cui, Yun
Correlating Alerts Using Prerequisites of Intrusions
December 13, 2001
- TR-2001-12
- Alspaugh, Thomas A.; Anton, Annie I.
Object-Orientation in Requirements, Specifications and Models
December 4, 2001
- TR-2001-11
- Alspaugh, Thomas A.; Anton, Annie I.
Using Scenario Networks for Scenario Management and Software Specification
December 4, 2001
- TR-2001-10
- Anton, Annie I.; Earp, Julia B.
Goal-Mining to Examine Health Care Privacy Policies
November 7, 2001
- TR-2001-09
- Anton, Annie I. ; Carter, Ryan A.; Srikanth, Hema; Sureka, Ashish; Williams, Laurie A.; Yang, Kai; Yang, Lingyun
Tailored CMM for a Small e-Commerce Company - Level 2: Repeatable
August 23, 2001
- TR-2001-08
- Anton, Annie I.; Carter, Ryan A.; Earp, Julia B.; Williams, Laurie A.
EPRAM: Evolutionary Prototyping Risk Analysis & Mitigation (e-Commerce Software Development Process Document)
August 20, 2001
- TR-2001-07
- Xin, Yufeng; Rouskas, George N.; Perros, Harry G.
On the Design of MPLambdaS Networks
July 20, 2001
- TR-2001-06
- Yolum, Pinar; Singh, Munindar P.
Synthesizing Finite State Machines for Communication Protocols
June 27, 2001
- TR-2001-05
- Yolum, Pinar; Singh, Munindar P.
Designing and Executing Protocols Using the Event Calculus
June 21, 2001
- TR-2001-04
- St. Amant, Robert; Blair, James E. ; Healey, Christopher G.; Park, SunJun; Barry, Patrick; Rogers, Duke
Visualization and selection in a music database: A case study
March 29, 2001
- TR-2001-03
- Lei, Yu; Tai, K. C.
A Test Generation for Pairwise Testing
March 24, 2001
- TR-2001-02
- Ramesh, Sridhar; Rouskas, George N.; Perros, Harry G.
Computing Blocking Probabilities in Multi-Class Wavelength Routing Networks with Multicast Calls
January 7, 2001
- TR-2001-01
- Zaim, A. Halim; Perros, Harry G.; Rouskas, George N.
Computing Blocking Probabilities in LEO Satellite Networks
January 2, 2001
- TR-2000-11
- Dutta, Rudra; Rouskas, George N.
A Sequence of Bounds for the Problem of Minimizing Electronic Routing in Wavelength Routed Optical Rings
September 27, 2000
- TR-2000-10
- Yolum, Pinar; Singh, Munindar P.
Commitment Machines
September 10, 2000
- TR-2000-09
- Anton, Annie I.; Earp, Julia B.
Strategies for Developing Policies and Requirements for Secure Electronic Commerce Systems
June 1, 2000
- TR-2000-08
- Thaker, Dhaval; Rouskas, George N.
Multi-Destination Communication in Broadcast WDM Networks: A Survey
July 28, 2000
- TR-2000-07
- Bampis, Evripidis; Rouskas, George N.
On Scheduling Problems with Applications to Packet-Switched Optical WDM Networks
July 18, 2000
- TR-2000-06
- Zaim, A. Halim; Rouskas, George N.; Perros, Harry G.
Computing Call Blocking Probabilities in LEO Satellite Networks: The Single Orbit Case
June 19, 2000
- TR-2000-05
- Winsborough, W.; Seamons, K.; Jones, V.
Automated Trust Negotiation
April 24, 2000
- TR-2000-04
- Iyer, Purushothaman; Cleaveland, Rance; Narasimha, Murali
A Branching-Time Theory for Probabilistic Model-Checking
April 12, 2000
- TR-2000-03
- Xu, Lisong; Perros, Harry G.; Rouskas, George N.
Transporting IP Packets over Light: A Survey
March 22, 2000
- TR-2000-02
- Yolum, Pinar; Singh, Munindar P.
Commitment-Based Analysis of E-Commerce Protocols
March 10, 2000
- TR-2000-01
- Yu, Bin; Venkatraman, Mahadeven; Singh, Munindar P
MARS: A Multiagent Referral System for Information Gathering
March 9, 2000
- TR-99-16
- Anton, Annie I.; Dempster, John H.; Siege, Devon F.
Managing Use Cases During Goal-Driven Requirements Engineering: Challenges Encountered and Lessons Learned
December 1, 1999
- TR-99-15
- Ramesh, Sridhar; Rhee, Injong
Issues in Model-Based Flow Control
November 1, 1999
- TR-99-14 (Not available on-line)
- Joshi, Srinath R.; Lee, Minsuk; Rhee, Injong
RESCU: Dynamic Hybrid Packet-Loss Recovery for Video Transmission over the Internet
September 17, 1999
- TR-99-13
- Anton, Annie I.; Potts, Colin
Requirements Engineering in the Long-Term: Fifty Years of Telephony Feature Evolution
September 3, 1999
- TR-99-12
- St. Amant, Robert A.
IDA Assistance for Mixed-Initiative Planning
Jan 25, 1999
- TR-99-11
- Stuckey, J. J.; Viniotis, Yannis; Rouskas, George N.
Simulation Study of Statistical Delays in an ATM Switch Using EDF Scheduling
June 24, 1999
- TR-99-09
- Rhee, Injong; Joshi, Srinath R.; Lee, Minsuk; Muthukrishnan, S.; Ozdemir, Volkan
Layered Multicast Recovery
Feb 1, 1999
- TR-99-08
- Ramesh, Sridhar; Rouskas, George N.; Perros, Harry G.
Computing Blocking Probabilities in Multi-Class Wavelength Routing Networks
May 24, 1999
- TR-99-07
- Ozdemir, Volkan; Muthukrishnan, S.; Rhee, Injong
Scalable, Low-Overhead Network Delay Estimation
May 15, 1999
- TR-99-06
- Dutta, Rudra; Rouskas, George N.
A Survey of Virtual Topology Design Algorithms for Wavelength Routed Optical Networks
May 12, 1999
- TR-99-05
- Rhee, Injong; Joshi, Srinath; Muthukrishnan, S.; Ozdemir, Volkan
Scalable Reliable Multicast with Layered Recovery and Low-Overhead Network Delay Estimation
January 31, 1999
- TR-99-04
- Wong, C. D.; Davis, E. W.; Funderlic, R. E.; Smith, F. A.
Optimizing Performance of Parallel Architectures Through Processor Configuration and Data Distribution
April 08, 1999
- TR-99-03
- Singh, Munindar P.
A Social Semantics for Agent Communication Languages
Mar 22, 1999
- TR-99-02
- Rustogi, Sudhir K.; Wan, Feng; Xing, Jie; Singh, Munindar P.
Handling Semantic Exceptions in the Large: A Multiagent Approach
March 8, 1999
- TR-99-01
- Zhu, Yuhong; Rouskas, George N.; Perros, Harry G.
Bounds on the Blocking Performance of Allocation Policies in Wavelength Routi
January 4, 1999
- TR-98-14
- Jackson, Laura E.; Rouskas, George N.
Optimal Scheduling of Periodic Tasks on Multiple Identical Processors
December 23, 1998
- TR-98-13
- Venkatraman, Mahadevan; Singh, Munindar P.
Verifying Compliance with Commitment Protocols
October 21, 1998
- TR-98-12
- Rhee, Injong; Joshi, Srinath
Error Recovery using FEC and Retransmission for Interactive Video Transmission
July 1998
- TR-98-11
- Narasimha, Murali; Cleaveland, Rance; Iyer, Purush
Probabilistic Temporal Logics via the Modal Mu-Calculus
October 2, 1998
- TR-98-10
- Zhu, Yuhong; Rouskas, George N.; Perros, Harry G.
Blocking in Wavelength Routing Networks, Part II: Mesh Topologies
October 2, 1998
- TR-98-09
- Jain, Anuj K.; Aparicio, Manuel; Singh, Munindar P.
Using Agents to Achieve Process Coherence
September 11, 1998
- TR-98-08
- Iyer, Purush; Narasimha, Murali
Model Checking Probabilistic Lossy Channel Systems
June 8, 1998
- TR-98-07 (Not available on-line)
- Ramesh, Sridhar; Perros, Harry
A multi-layer client-server queueing network model with synchronous and asynchronous messages
June 8th, 1998
- TR-98-06
- Baldine, Ilia; Rouskas, George N.
On the Design of Dynamic Reconfiguration Policies for Broadcast WDM Networks
June 1, 1998
- TR-98-05
- Dulberg, Martin S.; St. Amant, Robert
A flying click gesture for unary selection and activation
February 1, 1998
- TR-98-04
- St. Amant, Robert
Affordances for acting in direct manipulation interfaces
January 28, 1998
- TR-98-03
- Singh, Munindar P.
The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis
February 1, 1998
- TR-98-02
- Zhu, Yuhong; Rouskas, George N.; Perros, Harry G.
Blocking in Wavelength Routing Networks, Part I: The Single Path Case
February 17, 1998
- TR-98-01
- Rhee, Injong; Ballaguru, Nallathambi; Rouskas, George N.
MTCP: Scalable TCP-like Congestion Control for Reliable Multicast
January 2, 1998
- TR-97-12 (Not available on-line)
- Rhee, Injong
Retransmission-Based Error Control for Real-Time Interactive Video Applications over Internet
November 10, 1997
- TR-97-11
- McKinnon, Martin W.; Perros, Harry G.; Rouskas, George N.
Performance Analysis of a Photonic Switch Architecture Supporting Variable Length Packets
November 4, 1997
- TR-97-10
- Kim, Kalhee ; Vouk, Mladen A. ; McAllister, David F.
A Practical Implementation of Maximum Likelihood Voting
February 4, 1997
- TR-97-09
- Ortiz, Zeydy; Rouskas, George N.; Perros, Harry G.
Scheduling Combined Unicast and Multicast Traffic in Broadcast WDM Networks
October 6, 1997
- TR-97-08
- Dixit, Paritosh; Vouk, Mladen A.; Bitzer, Donald L.
Predictive Modeling of End-User Quality of Service for Network-Based Education
April 25, 1997
- TR-97-07
- Singh, Munindar P.
Coordinating Heterogeneous Autonomous Agents
July 31, 1997
- TR-97-06
- Balay, Rajini I.; Perros, Harry; Vouk, Mladen A.
The Lightweight Software Bus : A Message Broker for Prototyping Problem Solving Environments
April 7, 1997
- TR-97-05
- Singh, Munindar P.
Formal Aspects of Workflow Management, Part 2: Distributed Scheduling
May 11, 1997
- TR-97-04
- Singh, Munindar P.
Formal Aspects of Workflow Management, Part 1: Semantics
May 11, 1997
- TR-97-03
- Haberman, Brian K.; Rouskas, George N.
Cost, Delay, and Delay Variation Conscious Multicast Routing
March 3, 1997
- TR-97-02
- Davis, Timothy A.; Davis, Edward W.
An Annotated Bibliography on Using Parallel Processing Systems (With Emphasis on Topics Related to Air Quality Modeling)
August 24, 1994
- TR-97-01
- Rouskas, George N. ; Ortiz-Laureano, Zeydy; Perros, Harry G.
Scheduling of Multicast Traffic in Tunable-Receiver WDM Networks with Non-Negligible Tuning Latencies
January 31, 1997
- TR-96-19
- Vouk, Mladen A.; Singh, Munindar P.
Quality of Service and Scientific Workflows
June 20, 1996
- TR-96-18
- Singh, Munindar P.
Distributed Scheduling of Workflow Computations
September 12, 1996
- TR-94-30
- Perros, Harry G.; Elsayed, Khaled M.
Call Admission Control Schemes: A Review
June 1, 1994
- TR-96-17
Towaime framework that allows great
- TR-96-16
- Iyer, Purush; Narasimha, Murali
Almost always and sometime definitely are not enough: Probabilistic quanifiers and probabilistic model-checking
July 12, 1996
- TR-96-15
- Singh, Munindar P.
Toward Interaction-Oriented Programming
May 16, 1996
- TR-95-08 (Not available on-line)
- Wong, David C.; Davis, Edward W.; Thomas, Michael H.
Enhancing the Performance of Parallel Processors: Experiments with Loop Constructs and Tiling
January 1, 1995
- TR-95-06 (Not available on-line)
- Dholakia, Ajay; Koorapaty, Havish; Bitzer, Donald L.; Vouk, Mladen A.
A Table-Based Reduced Complexity Sequential Decoding Method for Convolutional Decoding on Fading Channels
January 1, 1995
- TR-95-05 (Not available on-line)
- Dholakia, Ajay; Koorapaty, Havish; Bitzer, Donald L.; Vouk, Mladen A.
A Time-Domain Analysis of Minimal Convolutional Encoders
January 1, 1995
- TR-95-04 (Not available on-line)
- Koorapaty, Havish; Dholakia, Ajay; Bitzer, Donald L.; Vouk, Mladen
Rate-k/n Convolutional Encoders: A Time-Domain Analysis
January 1, 1995
- TR-95-03 (Not available on-line)
- Rhee, Young; Perros, Harry G.
An Approximate Analysis of an Open Tandem Queueing Network with Population Constraint and Constant Service Times
January 1, 1995
- TR-95-02 (Not available on-line)
- Dozier, Gerry; Bowen, James
Utilizing Unused Structures in Binary-Coded Genetic Algorithms
January 1, 1995
- TR-95-01 (Not available on-line)
- Elsayed, Khaled M.; Perros, Harry G.
On the Effective Bandwidth of Arbitrary On/Off Sources
January 24, 1995
- TR-94-18 (Not available on-line)
- Bhat, Girish; Cleaveland, Rance; Grumberg, Orna
Efficient On-the-Fly Model Checking for CTL
December 14, 1994
- TR-94-17 (Not available on-line)
- Squire, Matthew B.
Combinatorial Gray Codes and Efficient Generation
November 23, 1994
- TR-94-16 (Not available on-line)
- Squire, Matthew B.
Efficient Selection of a Random Integer Partition
January 1, 1994
- TR-94-15 (Not available on-line)
- Kim, Bongtae; Perros, Harry G.; Nilsson, Arne A.
A Throughput Analysis of a Selective Repeat Retransmission Scheme for k-reliable Multicast
November 14, 1994
- TR-94-14 (Not available on-line)
- Squire, Matthew B.
Two New Gray Codes for Acyclic Orientations
January 1, 1994
- TR-94-11 (Not available on-line)
- Lester, James Curtis
Generating Natural Language Explanations from Large-Scale Knowledge Bases
August 1, 1994
- TR-94-10 (Not available on-line)
- Elsayed, Khaled M.; Perros, Harry G.
The Superposition of Discrete-Time Markov Renewal Processes with an Application to Statistical Multiplexing of Bursty Traffic Sources
January 1, 1994
- TR-94-09 (Not available on-line)
- Elsayed, Khaled M.; Perros, Harry G.
A Computationally Effecient Algorithm for Characterizing the Superposition of Multiple Heterogeneous Interrupted Bernoulli Processes
June 6, 1994
- TR-94-08 (Not available on-line)
- Kim, Bongtae; Nilsson, Arne A.; Perros, Harry G.
Throughput Analysis of Stop-and-Wait Retransmission Schemes for K-Reliable Multicast
April 18, 1994
- TR-94-06 (Not available on-line)
- Rhee, Young; Perros, Harry G.
Analysis of an Open Tandem Queueing Network with Population Constraint and Constant Service Times
January 1, 1994
- TR-94-03 (Not available on-line)
- Cleaveland, Rance; Iyer, S. Purushothaman; Yankelevich, Daniel
Abstractions for Preserving All CTL* Formulae
March 15, 1994
- TR-96-14
- Iyer, Purush; Narasimha, Murali
Probabilistic Lossy Channel Systems
May 15, 1996
- TR-96-13
- Chu, Moody T.; Funderlic, R. E.; Golub, Gene H.
Rank Modifications of Semi-definite Matrices with Applications to Secant Updates
July 8, 1996
- TR-96-12
- Rouskas, George N.; Ammar, Mostafa H.
Multi-Destination Communication Over Tunable-Receiver Single-Hop WDM Networks
June 18, 1996
- TR-96-11
- McKinnon, Martin W.; Rouskas, George N.; Perros, Harry G.
Performance Analysis of a Photonic Single-Hop ATM Switch Architecture with Bursty and Correlated Arrivals
June 4, 1996
- TR-96-10
- Baldine, Ilia; Rouskas, George N.
Reconfiguration in Rapidly Tunable Transmitter, Slowly Tunable Receiver Single-Hop WDM Networks
June 4, 1996
- TR-96-09
- Singh, Munindar P.
A Conceptual Analysis of Commitments in Multiagent Systems
May 16, 1996
- TR-96-08
- Singh, Munindar P.
Formal Semantics for Workflow Computations
September 12, 1996
- TR-96-07
- Brown, Kyle
Design reverse-engineering and automated design-pattern detection in Smalltalk
April 28, 1996
- TR-96-06
- Sivaraman, Vijay; Rouskas, George
HiPeR-l: A High Performance Reservation Protocol with look-ahead for Broadcat WDM Networks
May 14, 1996
- TR-96-05
- Sidje, Roger B.; Stewart, William J.
A Survey of Methods for Computing Large Sparse Matrix Exponentials Arising in Markov Modelling
March 17, 1996
- TR-96-04
- Cleaveland, Rance; Luettgen, Gerald
An Algebraic Theory of Distributed Real-Time
March 15, 1996
- TR-96-03
- Manyem, Prabhu; Stallmann, Matthias F. M.
Some Approximation Results in Multicasting
February 21, 1996
- TR-96-02
- Cleaveland, Rance; Luettgen, Gerald; Natarajan, V.
A Process Algebra with Distributed Priorities
March 11, 1996
- TR-96-01
- Geser, Alfons; Knoop, Jens; Luettgen, Gerald; Ruething, Oliver; Steffen, Bernhard
Non-monotone Fixpoint Iterations to Resolve Second Order Effects
March 9, 1996
- TR-95-11
- Tai, K. C.; Young, Y. C.
Synchronizable Test Sequences of Finite State Machines
August 14, 1995
- TR-95-10
- Ngan, Manyip; Gehringer, Edward F.
The Design of a Hardware Memory Allocator Based on the Buddy System
July 30, 1995
- TR-95-09
- Rouskas, George N.; Baldine, Ilia
Multicast Routing with End-to-End Delay and Delay Variation Constraints
July 11, 1995
- TR-95-07
- Rouskas, George N.; Sivaraman, Vijay
On the Design of Optimal TDM Schedules for Broadcast WDM Networks with Arbitrary Transceiver Tuning Latencies
June 01, 1995
- TR-94-12
- Rouskas, George N.; Ammar, Mostafa H.
Minimizing Delay and Packet Loss in Single-Hop Lightwave WDM Networks Using TDM Schedules
December 09, 1994
- TR-94-01
- Schweitz, Eric A.; Tharp, Alan L.
Adaptive Hashing with Signatures
January 19, 1994
- TR-93-21
- Dwyer, Rex A.; Squire, Matthew B.
A Multivariate Two-Sample Test Using the Voronoi Diagram
August 3, 1992 revised September 16, 1993
- TR-93-18
- Harcourt, Ed; Mauney, Jon; Cook, Todd
High Level Timing Specification of Instruction-Level Parallel Processors
August 24, 1993
- TR-93-03
- Dwyer, Rex A.
The Expected Size of the Sphere-of-Influence Graph
Feburary 5, 1993 revised May 26, 1993
- TR-93-01
- Dwyer, Rex A.
The Expected Number of k-Faces of a Voronoi Diagram
January 26, 1993
|
