Follow

Submissions from 2002

PDF

Using Architectural Properties to Model and Measure System-Wide Graceful Degradation, Philip Koopman and Charles Shelton

Link

Modeling and Verification of Out-of-Order Processors in UCLID, Shuvendu K. Lahiri, Sanjit A. Seshia, and Randal E. Bryant

PDF

Data Collection and Language Technologies for Mapudungun, Lori Levin, Rodolfo Vega, Jaime G. Carbonell, Ralf D. Brown, Alon Lavie, Eliseo Cañulef, and Carolina Huenchullan

Link

The Potential for Synergy Between Certification and Insurance, Paul Luo Li, Mary Shaw, Kevin Stolarick, and Kurt Wallnau

Link

Inferring Genotype from Clinical Phenotype through a Knowledge Based Algorithm, Bradley Malin and Latanya Sweeney

Link

Locating and Accessing Data Repositories with WebSemantics, George A. Mihaila, Louiqa Raschid, and Anthony Tomasic

PDF

Mobile Devices for Control, Brad Myers

PDF

Flexi-modal and Multi-Machine User Interfaces, Brad Myers, Robert Malkin, Michael Bett, Alex Waibel, Ben Bostwick, Robert Miller, Jie Yang, Matthias Denecke, Edgar Seemann, Jie Zhu, Choon Hong Peck, Dave Kong, Jeffrey Nichols, and Bill Scherlis

Link

Communication Ubiquity Enables Ubiquitous Control, Brad Myers and Jeffrey Nichols

PDF

Using Handhelds to Help People with Motor Impairments, Brad Myers, Jacob Wobbrock, Sunny Yang, Brian Yeung, Jeffrey Nichols, and Robert Miller

PDF

Requirements for Automatically Generating Multi-Modal Interfaces for Complex Appliances, Jeffrey Nichols, Brad Myers, Thomas Harris, Roni Rosenfeld, Stefanie Shriver, Michael Higgins, and Joseph Hughes

PDF

The JAVELIN Question-Answering System at TREC 2002, Eric H. Nyberg, Teruko Mitamura, Jaime G. Carbonell, James P. Callan, and Kevyn Collins-Thompson

PDF

Using HCI Techniques to Design a More Usable Programming System, John Pane, Brad Myers, and Leah Miller

PDF

Agile Methodologies and Process Discipline, Mark C. Paulk

Link

Benchmarking Semantic Availability of Dynamic Data Feeds, Orna Raz, Philip Koopman, and Mary Shaw

Enabling automatic adaptation in systems with under-specified elements, Orna Raz, Philip Koopman, and Mary Shaw

Link

Semantic Anomaly Detection in Online Data Sources, Orna Raz, Philip Koopman, and Mary Shaw

Link

MyCampus: An Agent-Based Environment for Context-Aware Mobile Services, Norman Sadeh, Enoch Chan, and Linh Van

Link

An Open Agent Environment for Context-Aware M-Commerce, Norman Sadeh, Ting-Chak Enoch Chan, Linh Van, OhByung Kwon, and Kazuaki Takizawa

PDF

Distributed Surveillance and Reconnaissance Using Multiple Autonomous ATVs: CyberScout, Mahesh Saptharishi, C. Spence Oliver, Christopher P. Diehl, Kiran S. Bhat, John M. Dolan, Ashitey Trebi-Ollennu, and Pradeep Khosla

Link

Everyday Dependability for Everyday Needs, Mary Shaw

Link

"Self-Healing": Softening Precision to Avoid Brittleness, Mary Shaw

Link

The Tyranny of Transistors: What Counts about Software?, Mary Shaw

Link

What Makes Good Research in Software Engineering?, Mary Shaw

Link

Deciding Separation Formulas with SAT, Ofer Strichman, Sanjit A. Seshia, and Randal E. Bryant

Link

Achieving k-anonymity privacy protection using generalization and suppression, Latanya Sweeney

Link

k-anonymity: a model for protecting privacy, Latanya Sweeney

PDF

The Necessity of Average Rewards in Cooperative Multirobot Learning, Poj Tangamchit, John M. Dolan, and Pradeep Khosla

Submissions from 2001

Link

An Efficient Graph Representation for Arithmetic Circuit Verification, Randal E. Bryant

Link

Verification of Arithmetic Circuits Using Binary Moment Diagrams, Randal E. Bryant and Yirng-An Chen

Link

Teaching Computer Systems from a Programmer's Perspective, Randal E. Bryant and David R. O'Hallaron

PDF

Performance Evaluation of Exception Handling in I/O Libraries, John DeVale and Philip Koopman

PDF

Analysis of the Train Communication Network Protocol Error Detection Capabilities, Philip Koopman and Tridib Chakravarty

PDF

Representing Embedded System Sequence Diagrams As A Formal Language, Elizabeth Latronico and Philip Koopman

PDF

Analyzing Dependability of Embedded Systems from the User Perspective, Elizabeth Latronico, Christopher Martin, and Philip Koopman

PDF

Dependability Benchmarking: making choices in an n-dimensional problem space, Henrique Madeira and Philip Koopman

Link

Re-Identification of DNA through an Automated Linkage Process, Bradley Malin and Latanya Sweeney

Link

CMOS Circuit Verification with Symbolic Switch-Level Timing Simulation, Clayton B. McDonald and Randal E. Bryant

PDF

Interactive Simultaneous Editing of Multiple Text Regions, Robert Miller and Brad Myers

Link

Outlier Finding: Focusing User Attention on Possible Errors, Robert Miller and Brad Myers

Link

User Interfaces that Span Hand-Held and Fixed Devices, Brad Myers, Jeffrey Nichols, and Robert Miller

PDF

Interacting At a Distance Using Semantic Snarfing, Brad Myers, Choon Hong Peck, Jeffrey Nichols, Dave Kong, and Robert Miller

PDF

A Graceful Degradation Framework for Distributed Embedded Systems, William Nace and Philip Koopman

Link

Personal Interfaces in Ubiquitous Environments, Jeffrey Nichols, Brad Myers, and Robert Miller

Link

Studying the Language and Structure in Non-Programmers' Solutions to Programming Problems, John F. Pane, Chotirat Ratanamahatana, and Brad Myers

PDF

Robustness Testing and Hardening of CORBA ORB Implementations, Jiantao Pan, Philip Koopman, Daniel Siewiorek, Yennun Huang, Robert Gruber, and Mimi Ling Jiang

PDF

Extreme Programming from a CMM Perspective, Mark C. Paulk

PDF

Standards Symposium: Help, Hindrance, or Delusion?, Mark Paulk, Taz Daughtrey, John Horch, Denis Meredith, and Deependra Moitra

PDF

Design and Implementation of Controlled Elicitation for Machine Translation of Low-density Languages, Katharina Probst, Ralf D. Brown, Jaime G. Carbonell, Alon Lavie, Lori Levin, and Erik Peterson

Link

Software Risk Management and Insurance, Orna Raz and Mary Shaw

Link

The eCommerce Product Classification Challenge, Ellen Schulten, Hans Akkermans, Nicola Guarino, Guy Botquin, Nelson Lopes, Martin Dörr, and Norman Sadeh

Link

The Coming-of-Age of Software Architecture Research, Mary Shaw

Link

When System Boundaries Dissolve: Research Opportunities in Software Architectures for Ubiquitous Computing and Communication, Mary Shaw

PDF

Developing a Software Architecture for Graceful Degradation in an Elevator Control System, Charles Shelton and Philip Koopman

PDF

Probabilistic Adaptive Agent Based System for Dynamic State Estimation Using Multiple Visual Cues, Alvaro Soto and Pradeep Khosla

Link

Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors, Miroslav N. Velev and Randal E. Bryant

Link

EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations, Miroslav N. Velev and Randal E. Bryant

PDF

Lessons Learned About One-Way, Dataflow Constraints in the Garnet and Amulet Graphical Toolkits, Bradley Vander Zanden, Richard Halterman, Brad Myers, Richard McDaniel, Robert Miller, Pedro Szekely, Dario Giuse, and David Kosbie

Submissions from 2000

PDF

An Active Hand-held Instrument for Enhanced Microsurgical Accuracy, Wei Tech Ang, Cameron N. Riviere, and Pradeep Khosla

PDF

Toward a Team of Robots with Repair Capabilities: A Visual Docking System, Curt Bererton and Pradeep Khosla

PDF

Motion Detection and Segmentation Using Image Mosaics, Kiran S. Bhat, Mahesh Saptharishi, and Pradeep Khosla

Link

A Theory of Consistency for Modular Synchronous Systems, Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, and Amit Goel

Link

Boolean Satisfiability with Transitivity Constraints, Randal E. Bryant and Miroslav N. Velev

Link

When Good Models Meet Bad Data: Applying Quantitative Economic Models to Qualitative Engineering Judgments, Shawn Butler, Somesh Jha, and Mary Shaw

PDF

Organization and selection of reconfigurable models, Antonio Diaz-Calderon, Christiaan J.J. Paredis, and Pradeep Khosla

PDF

Multi-Document Summarization By Sentence Extraction, Jade Goldstein, Vibhu Mittal, Jaime G. Carbonell, and Mark Kantrowitz

Link

Symbolic Timing Simulation Using Cluster Scheduling, Clayton B. McDonald and Randal E. Bryant

PDF

Integrating a Command Shell into a Web Browser, Robert Miller and Brad Myers

Link

Collaboration Using Multiple PDAs Connected to a PC, Brad Myers

PDF

Two-Handed Input Using a PDA and a Mouse, Brad Myers, Kin Pou Lie, and Bo-Chieh Yang

PDF

Extending the Windows Desktop Interface With Connected Handheld Computers, Brad Myers, Robert Miller, Ben Bostwick, and Carl Evankovich

Link

Validating Mediator Cost Models with Disco, Hubert Naacke, Anthony Tomasic, and Patrick Valduriez

PDF

A Product Family Approach to Graceful Degradation, William Nace and Philip Koopman

Link

An Assessment of Software Engineering Body of Knowledge Efforts, David Notkin, Michael Gorlick, and Mary Shaw

PDF

Multi-robot Path Planning by Predicting Structure in a Dynamic Environment, C. Spence Oliver, Mahesh Saptharishi, John M. Dolan, Ashitey Trebi-Ollennu, and Pradeep Khosla

PDF

Improving User Performance on Boolean Queries, John Pane and Brad Myers

PDF

Tabular and Textual Methods for Selecting Objects from a Group, John Pane and Brad Myers

PDF

The Influence of the Psychology of Programming on a Language Design: Project Status Report, John Pane and Brad Myers

Link

An Approach to Preserving Sufficient Correctness in Open Resource Coalitions, Orna Raz and Mary Shaw

PDF

CyberScout: Distributed Agents for Autonomous Reconnaissance and Surveillance, Mahesh Saptharishi, Kiran S. Bhat, Christopher P. Diehl, John M. Dolan, and Pradeep Khosla

PDF

Recent Advances in Distributed Tactical Surveillance, Mahesh Saptharishi, Kiran S. Bhat, Christopher P. Diehl, C. Spence Oliver, Marios Savvides, Alvaro Soto, John M. Dolan, and Pradeep Khosla

PDF

Agent-Based Moving Object Correspondence Using Differential Discriminative Diagnosis, Mahesh Saptharishi, John B. Hamshire II, and Pradeep Khosla

Link

Software Engineering Education: A Roadmap, Mary Shaw

Link

Sufficient Correctness and Homeostasis in Open Resource Coalitions: How Much Can You Trust Your Software System?, Mary Shaw

PDF

Robustness Testing of the Microsoft Win32 API, Charles Shelton, Philip Koopman, and Kobey DeVale

Link

Foundations of Privacy Protection from a Computer Science Perspective, Latanya Sweeney

Link

Simple Demographics Often Identify People Uniquely, Latanya Sweeney

PDF

Solutions for 3-D Self-reconfiguration in a Modular Robotic System: Implementation and Motion Planning, Cem Ünsal and Pradeep Khosla

PDF

Motion Planning for a Modular Self-Reconfiguring Robotic System, Cem Ünsal, Han Kiliççöte, Mark E. Patton, and Pradeep Khosla

Link

Formal Verification of Superscalar Microprocessors with Multicycle Functional Units, Exceptions, and Branch Predication, Miroslav N. Velev and Randal E. Bryant

Link

Symbolic Simulation with Approximate Values, Chris Wilson, David L. Dill, and Randal E. Bryant

Submissions from 1999

PDF

Link Detection – Results and Analysis, Ralf D. Brown, Thomas Pierce, Yiming Yang, and Jaime G. Carbonell

Link

Formal Verification of Memory Circuits by Switch-Level Simulation, Randal E. Bryant

Link

Exploiting Positive Equality in a Logic of Equality With Uninterpreted Functions, Randal E. Bryant, Steven German, and Miroslav N. Velev

Link

The Potential of Portfolio Analysis in Guiding Software Decisions, Shawn Butler, P. Chalasani, Somesh Jha, Orna Raz, and Mary Shaw

PDF

The KANT Perspective: A Critique of Pure Transfer (and Pure Interlingua, Pure Statistics, ...), Jaime G. Carbonell, Teruko Mitamura, and Eric H. Nyberg

PDF

CMU Approach to TDT-2: Segmentation, Detection, and Tracking, Jaime G. Carbonell, Yiming Yang, John Lafferty, Ralf D. Brown, Tom Pierce, and XIn Liu

PDF

A Widely Deployable Web-based Distributed Network Simulation Framework using CORBA IDL-based APIs, Arjun Cholkar and Philip Koopman

PDF

Lessons Learned: Using Contextual Inquiry Analysis to Improve PDA Control of Presentations, Karen Cross, Adrienne Warmack, and Brad Myers

PDF

A composable simulation environment for mechatronic systems, Antonio Diaz-Calderon, Christiaan J.J. Paredis, and Pradeep Khosla