Submissions from 2005
Effects of Mediator Selection Strategies for Distributed Constraint Satisfaction, Michael Benisch and Norman Sadeh
Examining Coordination Tradeoffs in Distributed Constraint Satisfaction Problems (DCSPs), Michael Benisch and Norman Sadeh
Examining DCSP coordination tradeoffs, Michael Benisch and Norman Sadeh
Representing Design Tradeoffs in Safety-Critical Systems, Jennifer Black and Philip Koopman
Exploring massive structured data in ARGUS, Jaime G. Carbonell, Eugene Fink, Chun Jin, and Cenk Gazen
Semantic Web Technologies for Context-Aware Museum Tour Guide Applications, Shih-Chun Chou, Wen-Tai Hsieh, Fabien L. Gandon, and Norman Sadeh
Semantics Aware Malware Detection, Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Song, and Randal E. Bryant
Using Objects of Measurement to Detect Spreadsheet Errors, Michael Coblenz, Andrew Ko, and Brad Myers
Learning to Understand Web Site Update Requests, William W. Cohen, Einat Minkov, and Anthony Tomasic
Coordination of free/libre and open source software development, Kevin Crowston, Kangning Wei, Qing Li, U. Yeliz Eseryel, and James Howison
TCP Connections for P2P Apps: A Software Approach to Solving the NAT Problem, Jeffrey L. Eppinger
Relating network topology to the robustness of centrality measures, Terrill L. Frantz and Kathleen M. Carley
Counter-forensic privacy tools : a forensic evaluation, Matthew Geiger and Lorrie Faith. Cranor
Integrating Utility into Face De-Identification, Ralph Gross, Edoardo Airoldi, Bradley Malin, and Latanya Sweeney
ARGUS: Rete + DBMS = Efficient Persistent Profile Matching on Large-Volume Data Streams, Chun Jin, Jaime G. Carbonell, and Phil Hayes
‘Symmetric Probabilistic Alignment for Example-Based Translation, Jae Dong Kim, Ralf D. Brown, Peter J. Jansen, and Jaime G. Carbonell
Challenges In Deeply Networked System Survivability, Philip Koopman, Jennifer Black, and Priya Narasimhan
Peripheral Privacy Notifications for Wireless Networks, Braden Kowitz and Lorrie Cranor
Privacy indexes : a survey of Westin's studies, Ponnurangam Kumaraguru and Lorrie Faith. Cranor
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms, Elizabeth Latronico and Philip Koopman
Predicting Protein Folds with Structural Repeats Using a Chain Graph Model, Yan Liu, Eric P. Xing, and Jaime G. Carbonell
Adding Semantics and Rigor to Association Rule Learning: the GenTree Approach, Yiheng Li and Latanya Sweeney
A Framework for Interactive and Automatic Refinement of Transfer-based Machine Translation, Ariadna Font Llitjós, Jaime G. Carbonell, and Alon Lavie
Adaptive Sampling for Multi-Robot Wide Area Prospecting, Kian Hsiang Low, Geoffrey J. Gordon, John M. Dolan, and Pradeep Khosla
Forecasting Field Defect Rates Using a Combined Time-based and Metrics-based Approach: a Case Study of OpenBSD, Paul Luo Li, James Herbsleb, and Mary Shaw
Finding Predictors of Field Defects for Open Source Software Systems in Commonly Available Data Sources: a Case Study of OpenBSD, Paul Luo Li, Mary Shaw, and James Herbsleb
An Empirical Comparison of Field Defect Modeling Methods, Paul Luo Li, Mary Shaw, James Herbsleb, P. Santhanam, and Bonnie Ray
Towards an information theoretic framework for location-based data linkage, Bradley Malin and Edoardo Airoldi
A Network Analysis Model for Disambiguation of Names in Lists, Bradley Malin, Edoardo Airoldi, and Kathleen Carley
A Secure Protocol to Distribute Unlinkable Health Data, Bradley Malin and Latanya Sweeney
Text Input to Handheld Devices for People with Physical Disabilities, Brad Myers and Jacob Wobbrock
Generating Consistent Interfaces for Appliances, Jeffrey Nichols and Brad Myers
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems, Michael Paulitsch, Jennifer Black, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, and Philip Koopman
Efficient Mapping Through Exploitation of Spatial Dependencies, Yaron Rachlin, John M. Dolan, and Pradeep Khosla
Sensing Capacity for Discrete Sensor Network Applications, Yaron Rachlin, Rohit Negi, and Pradeep Khosla
Sensing Capacity for Markov Random Fields, Yaron Rachlin, Rohit Negi, and Pradeep Khosla
A Semantic Web Framework for Interleaving Policy Reasoning and External Service Discovery, Jinghai Rao and Norman Sadeh
Semantic Web Framework and Meta-Control Model to Enforce Context-Sensitive Policies, Jinghai Rao and Norman Sadeh
Design Principles for Tools to Support Creative Thinking, Mitchel Resnick, Brad Myers, Kumiyo Nakakoji, Ben Shneiderman, Randy Pausch, Ted Selker, and Mike Eisenberg
The "55M End-User Programmers" Estimate Revisited, Chris Scaffidi, Mary Shaw, and Brad Myers
Identifying categories of end users based on the abstractions that they create, Christopher Scaffidi
Detailed comparison of America's Army game and Unit of Action experiments, Mike Schneider, Kathleen M. Carley, and Il-Chul Moon
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds, Sanjit A. Seshia and Randal E. Bryant
Modeling and Verifying Circuits Using Generalized Relative Timing, Sanjit A. Seshia, Randal E. Bryant, and Kenneth S. Stevens
Machines as readers: A solution to the copyright problem, Michael I. Shamos
Software Engineering for the 21st Century: A basis for rethinking the curriculum, Mary Shaw
Sparking Research Ideas from the Friction Between Doctrine and Reality, Mary Shaw
Software Architecture Education Session Report, Mary Shaw and Hans van Vliet
Privacy-Enhanced Linking, Latanya Sweeney
Privacy-Preserving Surveillance Using Selective Revelation, Latanya Sweeney
Privacy-Preserving Surveillance Using Selective Revelation, Latanya Sweeney
Risk Assessments of Personal Identification Technologies for Domestic Violence Homeless Shelters, Latanya Sweeney
Structural Knowledge and Success of Anti- Terrorist Activity: The Downside of Structural Equivalence, Maksim Tsvetovat and Kathleen M. Carley
Accessible Handheld And Desktop Text Entry For People With Motor Impairments, Jacob Wobbrock and Brad Myers
EdgeWrite: A New Text Entry Technique Designed for Stability, Jacob Wobbrock and Brad Myers
Submissions from 2004
The Supply Chain Trading Agent Competition, Raghu Arunachalam and Norman Sadeh
The Supply Chain Trading Agent Competition, Raghu Arunachalam and Norman Sadeh
Flow-based Video Synthesis and Editing, Kiran S. Bhat, Steven M. Seitz, Jessica K. Hodgins, and Pradeep Khosla
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems, Jennifer Black, Daniel Kroening, and Philip Koopman
Automatic Rule Learning for Resource-Limited MT, Jaime G. Carbonell, Katharina Probst, Erik Peterson, Christian Monson, Alon Lavie, Ralf D. Brown, and Lori Levin
BioWar : a city-scale multi-agent network model of weaponized biological attacks, Kathleen M. Carley
A network optimization approach for improving organizational design, Kathleen M. Carley and Natalia Y. Kamneva
Modeling the Structure and Effectiveness of Intelligence Organizations: Dynamic Information Flow Simulation, Kathleen M. Carley, D M. Thomas, Scott L. Arouh, James B. Kraiman, and Jonathan R. Davis
Challenges in Using an Example-Based MT System for a Transnational Digital Government Project, Violetta Cavalli-Sforza, Ralf D. Brown, Jaime G. Carbonell, Peter J. Jansen, and Jae Dong Kim
Developing Language Resources for Transnational Digital Government Systems: A Case Study, Violetta Cavalli-Sforza, Jaime G. Carbonell, and Peter J. Jansen
A Prototype System for Transnational Information Sharing and Process Coordination, Violetta Cavalli-Sforza, Jaime G. Carbonell, and Peter J. Jensen
AutoMap 1.2 : extract, analyze, represent, and compare mental models from texts, Jana Diesner and Kathleen M. Carley
Predictive Robot Programming: Theoretical and Experimental Analysis, Kevin R. Dixon, John M. Dolan, and Pradeep Khosla
Gestion de Connaissances Personnelles et Contextuelles et Respect de la Vie Privée, Fabien L. Gandon and Norman Sadeh
Hypothesis Formation and Tracking in ARGUS, B. Cenk Gazen, Jaime G. Carbonell, Philip J. Hayes, Chun Jin, and Eugene Fink
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Function Vectors, Amit Goel and Randal E. Bryant
Studying free software with free software and free methods, James Howison
Why can’t I manage academic papers like MP3s? The evolution and intent of metadata standards, James Howison and Abby Goodrum
Interactive Multi-Modal Robot Programming, Soshi Iba, Christiaan J.J. Paredis, and Pradeep Khosla
Six Learning Barriers in End-User Programming Systems, Andrew Ko, Brad Myers, and Htet Htet Aung
Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks, Philip Koopman and Tridib Chakravarty
Constructing Quantified Invariants via Predicate Abstraction, Shuvendu K. Lahiri and Randal E. Bryant
Indexed Predicate Discovery for Unbounded System Verification, Shuvendu K. Lahiri and Randal E. Bryant
Revisiting Positive Equality, Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, and Muralidhar Talupur
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees, Elizabeth Latronico, Paul Miner, and Philip Koopman
A Trainable Transfer-based Machine Translation Approach for Languages with Limited Resources, Alon Lavie, Katharina Probst, Erik Peterson, Stephan Vogel, Lori Levin, Ariadna Font Llitjós, and Jaime G. Carbonell
Instance-Based Question Answering: A Data Driven Approach, Lucian Vlad Lita and Jaime G. Carbonell
Learning Semantically Robust Rules from Data, Yiheng Li and Latanya Sweeney
The Translation Correction Tool : English-Spanish User Studies, Ariadna Font Llitjós and Jaime G. Carbonell
Error Analysis of Two Types of Grammar for the Purpose of Automatic Rule Refinement, Ariadna Font Llitjós, Katharina Probst, and Jaime G. Carbonell
The Economic Incentives of Providing Network Security Services on the Internet Infrastructure, Thomas A. Longstaff, Li-Chiou Chen, and Kathleen M. Carley
Empirical Evaluation of Defect Projection Models for Widely-deployed Production Software Systems, Paul Luo Li, Mary Shaw, James Herbsleb, Bonnie Ray, and P. Santhanam
How (Not) to Protect Genomic Data Privacy in a Distributed Network: Using Trail Re-identification to Evaluate and Design Privacy Protection Systems, Bradley Malin and Latanya Sweeney
Representing User Workarounds As A Component Of System Dependability, Christopher Martin and Philip Koopman
Context-aware computing using a shared contextual information service, Nancy Miller, Glenn Judd, Urs Hengartner, Fabien L. Gandon, Peter Steenkiste, I-Heng Meng, Ming-Whei Feng, and Norman Sadeh
Unsupervised Induction of Natural Language Morphology Inflection Classes, Christian Monson, Alon Lavie, Jaime G. Carbonell, and Lori Levin
Data Collection and Analysis of Mapudungun Morphology for Spelling Correction, Christian Monson, Lori Levin, Rodolfo Vega, Ralf Brown, Ariadna Font Llitjós, Alon Lavie, Jaime G. Carbonell, Eliseo Cañulef, and Rosendo Huisca
Optimal Sensor Placement for Cooperative Distributed Vision, Luis E. Navarro-Serment, John M. Dolan, and Pradeep Khosla
Report on the INCITS/V2 AIAP-URC Standard, Jeffrey Nichols and Brad Myers
Describing Appliance User Interfaces Abstractly with XML, Jeffrey Nichols, Brad Myers, Kevin Litwack, Michael Higgins, Joseph Hughes, and Thomas Harris
Surviving the Quagmire of Process Models, Integrated Models, and Standards, Mark C. Paulk
Dynamic Configuration of Resource-Aware Services, Vahe Poladian, João Sousa, David Garlan, and Mary Shaw
Sensing Capacity for Target Detection, Yaron Rachlin, Rohit Negi, and Pradeep Khosla
Automated Assistance for Eliciting User Expectations, Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos
Detecting Semantic Anomalies in Truck Weigh-In-Motion Traffic Data Using Data Mining, Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos