BUCS Technical Report Archives

The technical reports listed below are available online. Please contact the author(s) directly if you have difficulty retrieving a report.

[2014-008] Teixeira, Mario; Bestavros, Azer. End-to-End Informed VM Selection in Compute Clouds, November 10, 2014. [PDF][PS][Abstract]
[2014-007] Tazine, Samir; Matta Ibrahim. Improving Distributed Virtual Network Embedding with Offline Optimization, August 22, 2014. [PDF][PS][Abstract]
[2014-006] Wang, Yuefeng; Matta Ibrahim. SDN Management Layer: Design Requirements and Future Direction, July 16, 2014. [PDF][PS][Abstract]
[2014-005] Wang, Yuefeng; Akhtar, Nabeel; Matta Ibrahim. Programming Routing Policies for Video Traffic, July 16, 2014. [PDF][PS][Abstract]
[2014-004] Mirzaei, Saber; Esposito, Flavio. An Alloy Verification Model for Consensus-Based Auction Protocols, July 15, 2014. [PDF][PS][Abstract]
[2014-003] Kfoury, Assaf. A Compositional Approach to the Max-Flow Problem, June 9, 2014. [PDF][PS][Abstract]
[2014-001] Esposito, Flavio; Di Paola, Donato; Matta, Ibrahim. On Distributed Virtual Network Embedding with Guarantees, January 11, 2014. [PDF][PS][Abstract]
[2013-020] Gurari, Danna; Wu, Zheng ; Isenberg, Brett ; Zhang, Chentian; Purwada, Alberto; Wong, Joyce; Betke, Margrit. How to Collect High Quality Segmentations: Use Human or Computer Drawn Object Boundaries?, December 23, 2013. [PDF][PS][Abstract]
[2013-019] Bestavros, Azer; Krieger, Orran. Towards an Open Cloud Marketplace: Vision and First Steps, November 23, 2013. [PDF][PS][Abstract]
[2013-018] Li, Ye; West, Richard; Missimer, Eric. The Quest-V Separation Kernel for Mixed Criticality Systems, November 23, 2013. [PDF][PS][Abstract]
[2013-017] Li, Ye; Missimer, Eric; West, Richard. Predictable Migration and Communication in the Quest-V Multikernel, November 23, 2013. [PDF][PS][Abstract]
[2013-016] West, Richard; Li, Ye; Missimer, Eric. Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems, November 23, 2013. [PDF][PS][Abstract]
[2013-015] Kfoury, Assaf. A Compositional Approach to Network Algorithms, November 23, 2013. [PDF][PS][Abstract]
[2013-014] Wang, Yuefeng; Esposito, Flavio; Matta, Ibrahim; Day, John. RINA: An Architecture for Policy-Based Dynamic Service Management, November 11, 2013. [PDF][PS][Abstract]
[2013-013] Wang, Yuefeng; Esposito, Flavio; Matta, Ibrahim; Day, John. Recursive InterNetworking Architecture (RINA) Boston University Prototype Programming Manual (version 1.0), November 11, 2013. [PDF][PS][Abstract]
[2013-012] Esposito, Flavio. A Policy-based Architecture for Virtual Network Embedding (PhD Thesis), October 20, 2013. [PDF][PS][Abstract]
[2013-011] Riga, Niky. JTP, an Energy-Aware Transport Protocol For Mobile Ad Hoc Networks (PhD Thesis), September 27, 2013. [PDF][PS][Abstract]
[2013-010] Esposito, Flavio; Matta, Ibrahim; Wang, Yuefeng. VINEA: A Policy-based Virtual Network Embedding Architecture, September 27, 2013. [PDF][PS][Abstract]
[2013-009] Gursun, Gonca. Inferring Hidden Features In The Internet (PhD Thesis), September 27, 2013. [PDF][PS][Abstract]
[2013-007] Mirzaei, Saber; Bahargam, Sanaz; Skowyra, Richard; Kfoury, Assaf; Bestavros, Azer. Using Alloy to Formally Model and Reason About an OpenFlow Network Switch, July 10, 2013. [PDF][PS][Abstract]
[2013-006] Schatzberg, Dan ; Cadden, James ; Krieger, Orran; Appavoo, Jonathan. Total Order Broadcast for Fault Tolerant Exascale Systems, July 10, 2013. [PDF][PS][Abstract]
[2013-005] Skowyra, Rick; Bahargam, Sanaz; Bestavros, Azer. Software-Defined IDS for Securing Embedded Mobile Devices, May 1, 2013. [PDF][PS][Abstract]
[2013-004] Sweha, Raymond. Optimizing On-Demand Resource Deployment For Peer-Assisted Content Delivery (PhD Thesis) , February 8, 2013. [PDF][PS][Abstract]
[2013-003] Ishakian, Vatche. Strategic and Operational Services for Workload Management in The Cloud (PhD Thesis), February 8, 2013. [PDF][PS][Abstract]
[2013-002] Skowyra, Rick; Lapets, Andrei; Bestavros, Azer; Kfoury, Assaf. Reusable Requirements in Automated Verification of Distributed Systems, February 8, 2013. [PDF][PS][Abstract]
[2013-001] Brogle, Kyle; Cooper, Danny; Goldberg, Sharon; Reyzin, Leonid. Impacting IP Prefix Reachability via RPKI Manipulations, January 7, 2013. [PDF][PS][Abstract]
[2012-021] Kfoury, Assaf. A Typing Theory for Flow Networks (Part I), December 31, 2012. [PDF][PS][Abstract]
[2012-020] Skowyra, Rick; Lapets, Andrei; Bestavros, Azer; Kfoury, Assaf. Verifiably-Safe Software-Defined Networks for CPS, December 10, 2012. [PDF][PS][Abstract]
[2012-019] Kfoury, Assaf; Mizraei, Saber. A Different Approach to the Design and Analysis of Network Algorithms, December 10, 2012. [PDF][PS][Abstract]
[2012-018] Schatzberg, Dan ; Cadden, James ; Krieger, Orran; Appavoo, Jonathan. MultiLibOS: An OS architecture for Cloud Computing, December 10, 2012. [PDF][PS][Abstract]
[2012-017] Lapets, Andrei; Mizraei, Saber. Towards Lightweight Integration of SMT Solvers, December 10, 2012. [PDF][PS][Abstract]
[2012-016] Lapets, Andrei; Skowyra, Rick; Bassem, Christine; Bahargam, Sanaz ; Bestavros, Azer; Kfoury, Assaf. Towards Accessible Integrated Formal Reasoning Environments for Protocol Design, December 10, 2012. [PDF][PS][Abstract]
[2012-015] Lapets, Andrei. Accessible Integrated Formal Reasoning Environments in Classroom Instruction of Mathematics, December 10, 2012. [PDF][PS][Abstract]
[2012-014] Esposito, Flavio; Di Paola, Donato; Matta, Ibrahim. A General Distributed Approach to Slice Embedding with Guarantees, July 30, 2012. [PDF][PS][Abstract]
[2012-013] Sweha, Raymond; Bestavros, Azer; Matta, Ibrahim. Enhancing Tor Performance For Bandwidth-Intensive Applications, July 30, 2012. [PDF][PS][Abstract]
[2012-012] Wang, Chong; Byers, John. Incentivizing Efficient Content Placement in a Global Content Oriented Network, June 20, 2012. [PDF][PS][Abstract]
[2012-011] Hacker, Megan; Crovella, Mark; Reyzin, Leonid. Secure Pairing of Mobile Devices (MA Thesis), May 16, 2012. [PDF][PS][Abstract]
[2012-010] Brova, George. Peer and Authority Pressure in Information-Propagation Models (MA Thesis), May 9, 2012. [PDF][PS][Abstract]
[2012-009] Appavoo, Jonathan; Schatzberg, Dan. Transistor Scaled HPC Application Performance , April 15, 2012. [PDF][PS][Abstract]
[2012-008] Appavoo, Jonathan; Schatzberg, Dan. Scalable Elastic Systems Architecture, April 15, 2012. [PDF][PS][Abstract]
[2012-007] Waterland, Amos; Appavoo, Jonathan; Schatzberg, Dan. Programmable Smart Machines, April 15, 2012. [PDF][PS][Abstract]
[2012-006] Schatzberg, Dan; Appavoo, Jonathan; Krieger, Orran; VanHensbergen, Eric. Why Elasticity Matters, April 15, 2012. [PDF][PS][Abstract]
[2012-005] Gursun, Gonca; Crovella, Mark. On Traffic Matrix Completion in the Internet, February 17, 2012. [PDF][PS][Abstract]
[2012-004] Kfoury, Assaf. Algebraic Characterizations of Flow-Network Typings, February 17, 2012. [PDF][PS][Abstract]
[2012-003] Kfoury, Assaf. The Syntax and Semantics of a Domain-Specific Language for Flow-Network Design, February 17, 2012. [PDF][PS][Abstract]
[2012-002] Bassem, Christine; Bestavros, Azer. Mechanism Design for Spatio-Temporal Request Satisfaction in Mobile Networks, February 10, 2012. [PDF][PS][Abstract]
[2012-001] Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei. Seamless Composition and Integration: A Perspective on Formal Methods Research, February 7, 2012. [PDF][PS][Abstract]
[2011-031] Reynolds, Mark; Bestavros, Azer. Formal Verification of Cross-Domain Access Control Policies Using Model Checking, December 30, 2011. [PDF][PS][Abstract]
[2011-030] Soule, Nate. Safe Compositional Modeling And Analysis Of Constrained Flow Networks (MA Thesis), December 30, 2011. [PDF][PS][Abstract]
[2011-029] Li, Ye; Danish, Matthew; West, Rich. Quest-V: A Virtualized Multikernel for High-Confidence Systems, December 20, 2011. [PDF][PS][Abstract]
[2011-028] Hescott, Ben; Finkelstein, Jeffrey. On Polynomial Time Kernel Reductions, December 20, 2011. [PDF][PS][Abstract]
[2011-027] Homer, Steve; Selman, Alan. Turing and the Development of Computational Complexity, December 20, 2011. [PDF][PS][Abstract]
[2011-026] Sweha, Raymond ; Ishakian, Vatche; Bestavros, Azer. AngelCast: Cloud-based Peer-Assisted Live Streaming Using Optimized Multi-Tree Construction, December 14, 2011. [PDF][PS][Abstract]
[2011-025] Esposito, Flavio; Matta, Ibrahim; Ishakian, Vatche. Slice Embedding Solutions for Distributed Service Architectures, December 13, 2011. [PDF][PS][Abstract]
[2011-024] Ishakian, Vatche; Sweha, Raymond ; Bestavros, Azer; Appavoo, Jonathan. Dynamic Pricing For Efficient Workload Colocation, November 15, 2011. [PDF][PS][Abstract]
[2011-023] Goldberg, Sharon; Liu, Zhenming. Technology Diffusion in Communication Networks, November 10, 2011. [PDF][PS][Abstract]
[2011-022] Ishakian, Vatche; Erdos, Dora; Terzi, Evimaria; Bestavros, Azer. A Framework for the Evaluation and Management of Network Centrality, October 13, 2011. [PDF][PS][Abstract]
[2011-021] Kazdagli, Mikhail; Lapets, Andrei. Towards Lightweight Front-end for Isabelle/Isar, September 10, 2011. [PDF][PS][Abstract]
[2011-020] Gill, Phillipa; Schapira, Michael; Goldberg, Sharon. Modeling on Quicksand: Dealing with the Lack of Ground Truth in Interdomain Routing Data, September 8, 2011. [PDF][PS][Abstract]
[2011-019] Soule, Nate; Bestavros, Azer; Ishakian, Vatche; Kfoury, Assaf; Lapets, Andrei. Use Cases for Compositional Modeling and Analysis of Equation-based Constrained Flow Networks, July 15, 2011. [PDF][PS][Abstract]
[2011-018] Eriksson, Brian; Barford, Paul; Maggs, Bruce ; Nowak, Robert . Posit: An Adaptive Framework for Lightweight IP Geolocation, July 11, 2011. [PDF][PS][Abstract]
[2011-017] Kfoury, Assaf. The Denotational and Static Semantics of a Domain-Specific Language for Flow-Network Design, July 11, 2011. [PDF][PS][Abstract]
[2011-016] Bestavros, Azer; Kfoury, Assaf. A Domain Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report), July 11, 2011. [PDF][PS][Abstract]
[2011-015] Skowyra, Richard; Bestavros, Azer; Goldberg, Sharon . The Zenith Attack: Vulnerabilities and Countermeasures, May 15, 2011. [PDF][PS][Abstract]
[2011-014] Soule, Nate; Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei. Safe Compositional Equation-based Modeling of Constrained Flow Networks, May 15, 2011. [PDF][PS][Abstract]
[2011-013] Thangali, Ashwin; Nash, Joan; Sclaroff, Stan; Neidle, Carol. Exploiting Phonological Constraints for Handshape Inference in ASL Video, May 15, 2011. [PDF][PS][Abstract]
[2011-012] Eriksson, Brian; Crovella, Mark. Estimation of Instrinsic Dimension via Clustering, May 12, 2011. [PDF][PS][Abstract]
[2011-011] Kfoury, Assaf. A Domain-Specific Language for the Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks, May 11, 2011. [PDF][PS][Abstract]
[2011-010] Ablavsky, Vitaly. Layered Graphical Models for Tracking Partially-Occluded Moving Objects in Video (PhD Thesis), March 16, 2011. [PDF][PS][Abstract]
[2011-009] Paquette, Isaac; Kwan, Christopher; Betke, Margrit. Menu Controller: Making Existing Software More Accessible for People with Motor Impairments, March 2, 2011. [PDF][PS][Abstract]
[2011-008] Magee, John; Epstein, Samuel; Missimer, Eric; Kwan, Christopher; Betke, Margrit. Adaptive mouse-replacement interface control functions for users with disabilities, March 2, 2011. [PDF][PS][Abstract]
[2011-007] Kwan, Christopher; Betke, Margrit. Camera Canvas: Image Editing Software for People with Disabilities, March 2, 2011. [PDF][PS][Abstract]
[2011-006] Tian, Tai-Peng. Efficient Techniques for Recovering 2D Human Body Poses from Images (PhD Thesis), February 23, 2011. [PDF][PS][Abstract]
[2011-005] Bestavros, Azer ; Erdos, Dora; Ishakian, Vatche; Lapets, Andrei; Terzi, Evimaria. The Filter-Placement Problem and its Application to Content De-Duplication, February 21, 2011. [PDF][PS][Abstract]
[2011-004] Soule, Nate ; Bestavros, Azer ; Kfoury, Assaf; Lapets, Andrei. Safe Compositional Network Sketches: NetSketch Tool Implementation, February 8, 2011. [PDF][PS][Abstract]
[2011-003] Gill, Phillipa; Schapira, Michael; Goldberg, Sharon. Let the Market Drive Deployment: A Strategy for Transitioning to BGP Security, February 4, 2011. [PDF][PS][Abstract]
[2011-002] Ishakian, Vatche; Bestavros, Azer. MorphoSys: Efficient Colocation of QoS-Constrained Workloads in the Cloud, January 25, 2011. [PDF][PS][Abstract]
[2011-001] Fuller, Benjamin; Reyzin, Leonid. Computational Entropy and Information Leakage (MA Thesis), January 7, 2011. [PDF][PS][Abstract]
[2010-037] Gursun, Gonca; Crovella, Mark; Matta, Ibrahim. Describing and Forecasting Video Access Patterns, November 10, 2010. [PDF][PS][Abstract]
[2010-036] Danish, Matthew; Li, Ye; West, Rich. Virtual-CPU Scheduling in the Quest Operating System, November 10, 2010. [PDF][PS][Abstract]
[2010-035] Ishakian, Vatche; Akinwumi, Joseph; Esposito, Flavio; Matta, Ibrahim. On Supporting Mobility and Multihoming in Recursive Internet Architectures, October 15, 2010. [PDF][PS][Abstract]
[2010-034] Esposito, Flavio; Matta, Ibrahim; Bera, Debajyoti; Michiardi, Pietro. On the Impact of Seed Scheduling in Peer-to-Peer Networks, October 15, 2010. [PDF][PS][Abstract]
[2010-032] Esposito, Flavio; Vegni, Anna Maria; Matta, Ibrahim; Neri, Alessandro. On Modeling Speed-based Vertical Handovers in Vehicular Networks "Dad, slow down, I am watching the movie", September 7, 2010. [PDF][PS][Abstract]
[2010-030] Wu, Zheng; Hristov, Nickolay; Swartz, Sharon; Kunz, Thomas; Betke, Margrit. Tracking-Reconstruction or Reconstruction-Tracking? Comparison of Two Multiple Hypothesis Tracking Approaches to Interpret 3D Object Motion from Several Camera Views, September 6, 2010. [PDF][PS][Abstract]
[2010-029] Magee, John; Epstein, Samuel; Missimer, Eric; Betke, Margrit. Adaptive mappings for mouse-replacement interfaces, September 6, 2010. [PDF][PS][Abstract]
[2010-028] Magee, John; Betke, Margrit. HAIL: hierarchical adaptive interface layout, September 6, 2010. [PDF][PS][Abstract]
[2010-027] Theriault, Diane; Wu, Zheng; Hristov, Nickolay; Swartz, Sharon; Breuer, Kenneth; Kunz, Thomas; Betke, Margrit. Reconstruction and analysis of 3D trajectories of Brazilian free-tailed bats in flight, September 6, 2010. [PDF][PS][Abstract]
[2010-026] Cinbis, R. Gokberk. Set Based Modeling Of Objects And Their Context (MA Thesis), August 24, 2010. [PDF][PS][Abstract]
[2010-025] Ishakian, Vatche; Lapets, Andrei; Bestavros, Azer ; Kfoury, Assaf. Formal Verification of SLA Transformations, August 24, 2010. [PDF][PS][Abstract]
[2010-024] Sweha, Raymond; Ishakian, Vatche; Bestavros, Azer. Angels In the Cloud -- A Peer-Assisted Bulk-Synchronous Content Distribution Service, August 12, 2010. [PDF][PS][Abstract]
[2010-023] Missimer, Eric ; Epstein, Samuel; Magee, John ; Betke, Margrit. Customizable Keyboard, August 12, 2010. [PDF][PS][Abstract]
[2010-022] Albanese, Francesco; Carra, Damiano; Michiardi, Pietro ; Bestavros, Azer. Cloud-based Content Distribution on a Budget, August 12, 2010. [PDF][PS][Abstract]
[2010-021] Reynolds, Mark. Using Lightweight Formal Methods for JavaScript Security, July 23, 2010. [PDF][PS][Abstract]
[2010-020] Londono, Jorge. Embedding Games: Distributed Resource Management with Selfish Users (PhD Thesis), July 20, 2010. [PDF][PS][Abstract]
[2010-019] Ikizler-Cinbis, Nazli; Sclaroff, Stan. Object, Scene and Actions: Combining Multiple Features for Human Action Recognition, July 6, 2010. [PDF][PS][Abstract]
[2010-018] Ikizler-Cinbis, Nazli; Sclaroff, Stan. Object Recognition and Localization via Spatial Instance Embedding, July 6, 2010. [PDF][PS][Abstract]
[2010-017] Ikizler-Cinbis, Nazli; Cinbis, Gokberk; Sclaroff, Stan. Learning Actions From the Web, July 6, 2010. [PDF][PS][Abstract]
[2010-016] Tian, Tai-Peng; Sclaroff, Stan. Fast Multi-Aspect 2D Human Detection, July 2, 2010. [PDF][PS][Abstract]
[2010-015] West, Rich; Zaroo, Puneet; Waldspurger, Carl; Zhang, Xiao. Online Cache Modeling for Commodity Multicore Processors, July 2, 2010. [PDF][PS][Abstract]
[2010-014] Medina, Alberto; Gursun, Gonca; Basu, Prithwish; Matta, Ibrahim. On the Universal Generation of Mobility Models, May 14, 2010. [PDF][PS][Abstract]
[2010-012] Lapets, Andrei; Lalwani, Prakash; Kfoury, Assaf. Ontology Support for a Lightweight Formal Verification System, May 14, 2010. [PDF][PS][Abstract]
[2010-011] Lapets, Andrei; Kfoury, Assaf. A User-friendly Interface for a Lightweight Verification System, May 14, 2010. [PDF][PS][Abstract]
[2010-010] Lapets, Andrei. User-friendly Support for Common Concepts in a Lightweight Verifier, May 14, 2010. [PDF][PS][Abstract]
[2010-009] Mattar, Karim; Epstein, Samuel; Matta, Ibrahim. On the Detection of Policy Conflicts in Interdomain Routing, April 27, 2010. [PDF][PS][Abstract]
[2010-008] Chiaraviglio, Luca; Matta, Ibrahim. A Green Distributed Cooperation for Network and Content Management, March 31, 2010. [PDF][PS][Abstract]
[2010-007] Tian, Tai-Peng; Sclaroff, Stan. Fast Globally Optimal 2D Human Detection with Loopy Graph Models, March 31, 2010. [PDF][PS][Abstract]
[2010-006] Donnelly, Kevin; Kfoury, Assaf; Lapets, Andrei. The Complexity of Restricted Variants of the Stable Paths Problem, March 15, 2010. [PDF][PS][Abstract]
[2010-005] Lapets, Andrei. The complexity of natural extensions of efficiently solvable problems, March 15, 2010. [PDF][PS][Abstract]
[2010-004] Lapets, Andrei; Kfoury, Assaf. The NP-completeness of the Restricted Stable Paths Problem with Three Aggregating Functions, March 14, 2010. [PDF][PS][Abstract]
[2010-003] Ishakian, Vatche; Sweha, Raymond; Londono, Jorge; Bestavros, Azer. Colocation as a Service: Strategic and Operational Services for Cloud Colocation, March 1, 2010. [PDF][PS][Abstract]
[2010-002] Ishakian, Vatche; Bestavros, Azer; Kfoury, Assaf. A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-time Systems , January 24, 2010. [PDF][PS][Abstract]
[2010-001] Lapets, Andrei; Kfoury, Assaf; Bestavros, Azer. Safe Compositional Network Sketches: Reasoning with Automated Assistance, January 19, 2010. [PDF][PS][Abstract]
[2009-036] Reynolds, Mark. Modeling the Java Bytecode Verifier, December 30, 2009. [PDF][PS][Abstract]
[2009-035] Kfoury, Assaf. Lightweight Formal Methods for the Development of High-Assurance Networking Systems, December 1, 2009. [PDF][PS][Abstract]
[2009-034] Chiaraviglio, Luca; Matta, Ibrahim. GreenCoop: Cooperative Green Routing with Energy-efficient Servers, November 24, 2009. [PDF][PS][Abstract]
[2009-033] Lapets, Andrei; House, David. Efficient Support for Common Relations in Lightweight Formal Reasoning Systems, November 6, 2009. [PDF][PS][Abstract]
[2009-032] Lapets, Andrei. Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code, November 6, 2009. [PDF][PS][Abstract]
[2009-031] Byers, John; Mitzenmacher, Michael; Zervas, Georgios. Adaptive Weighing Designs for Keyword Value Computation, October 10, 2009. [PDF][PS][Abstract]
[2009-030] Lapets, Andrei; Kfoury, Assaf. Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches, October 1, 2009. [PDF][PS][Abstract]
[2009-029] Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei; Ocean, Michael. Safe Compositional Network Sketches: The Formal Framework, October 1, 2009. [PDF][PS][Abstract]
[2009-028] Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei; Ocean, Michael. Safe Compositional Network Sketches: Tool and Use Cases, October 1, 2009. [PDF][PS][Abstract]
[2009-027] Li, Rui. Simultaneous Learning Of Non-Linear Manifold And Dynamical Models For High-Dimensional Time Series (PhD Thesis), August 10, 2009. [PDF][PS][Abstract]
[2009-026] Sweha, Raymond. Angels: In-Network Support For Minimum Distribution Time in P2P Overlays (MA Thesis), August 6, 2009. [PDF][PS][Abstract]
[2009-025] Londono, Jorge; Bestavros, Azer; Laoutaris, Nikolaos. Trade and Cap: A Customer-Managed, Market-Based System for Trading Bandwidth Allowances at a Shared Link, July 29, 2009. [PDF][PS][Abstract]
[2009-024] Potamias, Michalis; Bonchi, Francesco ; Gionis, Aristides ; Kollios, George. Nearest-neighbor Queries in Probabilistic Graphs, July 14, 2009. [PDF][PS][Abstract]
[2009-023] Yuan, Quan; Sclaroff, Stan. Is a Detector Only Good for Detection?, July 12, 2009. [PDF][PS][Abstract]
[2009-022] Yuan, Quan. Learning A Family Of Detectors (PhD Thesis), June 30, 2009. [PDF][PS][Abstract]
[2009-021] Boddapati, Gowtham; Day, John; Matta, Ibrahim; Chitkushev, Lou. Assessing the Security of a Clean-Slate Internet Architecture, June 22, 2009. [PDF][PS][Abstract]
[2009-020] Ishakian, Vatche; Akinwumi, Joseph; Matta, Ibrahim. On the Cost of Supporting Multihoming and Mobility, June 19, 2009. [PDF][PS][Abstract]
[2009-019] Bera, Debajyoti ; Homer, Steve. On Finding Sensitivity of Quantum and Classical Gates, June 5, 2009. [PDF][PS][Abstract]
[2009-018] Bassem, Christine; Bestavros, Azer. CSR: Constrained Selfish Routing in Ad-hoc Networks, May 28, 2009. [PDF][PS][Abstract]
[2009-017] Lo Presti, Liliana; Sclaroff, Stan; La Cascia, Marco. Object matching in distributed video surveillance systems by LDA-based appearance descriptors, May 18, 2009. [PDF][PS][Abstract]
[2009-016] Zatko, Sarah. Using Markets and Spam to Combat Malware (MA Thesis), May, 11, 2009. [PDF][PS][Abstract]
[2009-015] Lapets, Andrei. Improving the accessibility of lightweight formal verification systems, April 30, 2009. [PDF][PS][Abstract]
[2009-014] Gursun, Gonca; Matta, Ibrahim; Mattar, Karim. On the Performance and Robustness of Managing Reliable Transport Connections, April 21, 2009. [PDF][PS][Abstract]
[2009-013] Epstein, Sam; Mattar, Karim; Matta, Ibrahim. Principles of Safe Policy Routing Dynamics, April 21, 2009. [PDF][PS][Abstract]
[2009-012] Esposito, Flavio ; Matta, Ibrahim. PreDA: Predicate Routing for DTN Architectures over MANET, April 3, 2009. [PDF][PS][Abstract]
[2009-011] Esposito, Flavio ; Matta, Ibrahim; Michiardi, Pietro; Mitsutake, Michiardi; Carra, Daminano. Seed Scheduling for Peer-to-Peer Networks, April 3, 2009. [PDF][PS][Abstract]
[2009-010] Morcos, Hany; Bestavros, Azer; Matta, Ibrahim. Preferential Field Coverage Through Detour-Based Mobility Coordination, March 30, 2009. [PDF][PS][Abstract]
[2009-009] Thangali, Ashwin; Sclaroff, Stan. An alignment based similarity measure for hand detection in cluttered sign language video, March 11, 2009. [PDF][PS][Abstract]
[2009-008] Deshpande, Smita; Betke, Margrit. RefLink: An Interface that Enables People with Motion Impairments to Analyze Web Content and Dynamically Link to References, March 11, 2009. [PDF][PS][Abstract]
[2009-007] Mullally, William; Sclaroff, Stan; Betke, Margrit. Example-Based Image Registration via Boosted Classifiers, March 11, 2009. [PDF][PS][Abstract]
[2009-006] Epstein, Samuel; Betke, Margrit. Active Hidden Models for Tracking with Kernel Projections, March 10, 2009. [PDF][PS][Abstract]
[2009-005] Wu, Zheng; Hristov, Nickolay; Hedrick, Tyson; Kunz, Thomas; Betke, Margrit. Tracking a Large Number of Objects from Multiple Views, March 10, 2009. [PDF][PS][Abstract]
[2009-004] Potamias, Michalis ; Bonchi, Francesco; Castillo, Carlos; Gionis, Aristides. Fast shortest path distance estimation in large networks, March 6, 2009. [PDF][PS][Abstract]
[2009-003] Sweha, Raymond; Bestavros, Azer; Byers, John. Angels -- In-Network Support for Minimum Distribution Time in P2P Overlays, February 10, 2009. [PDF][PS][Abstract]
[2009-002] Londono, Jorge; Bestavros, Azer; Teng, Shang-Hua. Collocation Games And Their Application to Distributed Resource Management, February 7, 2009. [PDF][PS][Abstract]
[2009-001] Mattar, Karim; Epstein, Sam; Matta, Ibrahim. Foundational Theory for Understanding Policy Routing Dynamics, January 30, 2009. [PDF][PS][Abstract]
[2008-031] Reynolds, Mark C. . Lightweight Modeling of Java Virtual Machine Security Constraints using Alloy, December 30, 2008. [PDF][PS][Abstract]
[2008-030] Erramilli, Vijay. Forwarding in Mobile Opportunistic Networks (PhD Thesis), December 19, 2008. [PDF][PS][Abstract]
[2008-029] Potamias, Michalis. Indexing Distances In Large Graphs And Applications In Search Tasks (MA Thesis), December 1, 2008. [PDF][PS][Abstract]
[2008-028] Duarte, Fernando; Mattos, Bernardo; Almeida, Jussara; Almeida, Virgilio; Curiel, Mariela; Bestavros, Azer. Hierarchical Characterization and Generation of Blogosphere Workloads, October 17, 2008. [PDF][PS][Abstract]
[2008-027] Papapetrou, Panagiotis; Benson, Gary; Kollios, George. Generalized Methods for Discovering Frequent Poly-Regions in DNA, October 17, 2008. [PDF][PS][Abstract]
[2008-026] Lapets, Andrei; Levin, Alex; Parkes, David. A Typed Language for Truthful One-Dimensional Mechanism Design, October 9, 2008. [PDF][PS][Abstract]
[2008-025] Betke, Margrit. Camera-based Interfaces and Assistive Software for People with Severe Motion Impairments, October 1, 2008. [PDF][PS][Abstract]
[2008-024] Morcos, Hany. Service Provisioning In Mobile Networks Through Distributed Coordinated Resource Management (PhD Thesis), September 12, 2008. [PDF][PS][Abstract]
[2008-023] Kanukurthi, Bhavana. An Improved Robust Fuzzy Extractor (MA Thesis), September 12, 2008. [PDF][PS][Abstract]
[2008-022] Smaragdakis, Georgios. Overlay Network Creation And Maintenance With Selfish Users (PhD Thesis), September 12, 2008. [PDF][PS][Abstract]
[2008-021] Vasconcelos, Marisa. Extracting location from Contact Traces (MA Thesis), September 11, 2008. [PDF][PS][Abstract]
[2008-020] Ocean, Michael. The Sensor Network Workbench: Towards Functional Specification, Verification And Deployment Of Constrained Distributed Systems (PhD Thesis), September 10, 2008. [PDF][PS][Abstract]
[2008-019] Day, John; Matta, Ibrahim; Mattar, Karim. "Networking is IPC": A Guiding Principle to a Better Internet , August 15, 2008. [PDF][PS][Abstract]
[2008-018] Stefan, Alexandra. Indexing Methods For Efficient Multiclass Recognition (MA Thesis), August 15, 2008. [PDF][PS][Abstract]
[2008-017] Epstein, Samuel; Matta, Ibrahim; Mattar, Karim . An Online Distributed Algorithm for Inferring Policy Routing Configurations, August 15, 2008. [PDF][PS][Abstract]
[2008-016] Smaragdakis, Georgios ; Lekakis, Vassilis; Laoutaris, Nikolaos; Bestavros, Azer; Byers, John; Roussopoulos, Mema. The EGOIST Overlay Routing System, July 22, 2008. [PDF][PS][Abstract]
[2008-015] Bera, Debajyoti. A New Lower Bound Technique for Quantum Circuits without Ancillae, July 22, 2008. [PDF][PS][Abstract]
[2008-014] Mattar, Karim; Matta, Ibrahim; Day, John; Ishakian, Vatche; Gursun, Gonca. Declarative Transport: No more transport protocols to design, only policies to specify, July 12, 2008. [PDF][PS][Abstract]
[2008-013] Aggradi, Gabriele; Esposito, Flavio; Matta, Ibrahim. Supporting Predicate Routing in DTN over MANET, July 10, 2008. [PDF][PS][Abstract]
[2008-012] Londono, Jorge; Bestavros, Azer. A Two-Tiered On-Line Server-Side Bandwidth Reservation Framework for the Real-Time Delivery of Multiple Video Streams, July 1, 2008. [PDF][PS][Abstract]
[2008-011] Ocean, Michael; Kfoury, Assaf; Bestavros, Azer. A Type System For Safe SN Resource Allocation, June 14, 2008. [PDF][PS][Abstract]
[2008-010] Kim, Won-Beom; Kwan, Christopher; Fedyuk, Igor; Betke, Margrit. Camera Canvas: Image Editor for People with Severe Disabilities, June 14, 2008. [PDF][PS][Abstract]
[2008-009] Yuan, Quan ; Thangali, Ashwin; Ablavsky, Vitaly; Sclaroff, Stan. Multiplicative Kernels: Object Detection, Segmentation and Pose Estimation, March 27, 2008. [PDF][PS][Abstract]
[2008-008] Ablavsky, Vitaly; Thangali, Ashwin; Sclaroff, Stan. Layered graphical models for tracking partially-occluded objects, March 27, 2008. [PDF][PS][Abstract]
[2008-007] Buhrman, Harry; Hescott, Benjamin; Homer, Steve; Torrenvliet, Lane. Non-Uniform Reductions, February 15, 2008. [PDF][PS][Abstract]
[2008-006] Hescott, Benjamin; Koulomzin, Daniel. On Clustering Images Using Compression, February 15, 2008. [PDF][PS][Abstract]
[2008-005] Bera, Debajyoti; Fenner, Stephen; Green, Fred; Homer, Steve. Universal Quantum Circuits, February 15, 2008. [PDF][PS][Abstract]
[2008-004] Morcos, Hany; Bestavros, Azer; Matta, Ibrahim. Detour-Based Mobility Coordination in DTNs , February 10, 2008. [PDF][PS][Abstract]
[2008-003] Morcos, Hany; Atia, George; Bestavros, Azer; Matta, Ibrahim. An Information Theoretic Framework for Field Monitoring Using Autonomously Mobile Sensors, February 10, 2008. [PDF][PS][Abstract]
[2008-002] Ocean, Michael; Bestavros, Azer. Wireless and Physical Security via Embedded Sensor Networks, January 15, 2008. [PDF][PS][Abstract]
[2008-001] Donnelly, Kevin; Kfoury, Assaf. On the Stable Paths Problem and a Restricted Variant, January 10, 2008. [PDF][PS][Abstract]
[2007-017] Liu, Likai; Kfoury, Assaf. Examples of Network Flow Verification Using TRAFFIC(X), January 10, 2008. [PDF][PS][Abstract]
[2007-016] Mattar, Karim. TCP over CDMA2000 Networks: A Cross-Layer Measurement Study (MA Thesis), December 14, 2007. [PDF][PS][Abstract]
[2007-015] Donnelly, Kevin. System F with Constraint Types (MA Thesis), December 1, 2007. [PDF][PS][Abstract]
[2007-014] Riga, Niky; Matta, Ibrahim; Medina, Alberto; Redi, Jason. An Energy-conscious Transport Protocol for Multi-hop Wireless Networks, October 17, 2007. [PDF][PS][Abstract]
[2007-013] Smaragdakis, Georgios ; Laoutaris, Nikolaos; Bestavros, Azer; Byers, John; Roussopoulos, Mema. EGOIST: Overlay Routing using Selfish Neighbor Selection, October 9, 2007. [PDF][PS][Abstract]
[2007-012] Hallett, Joseph. Hidden Type Variables and Conditional Extension for More Expressive Generic Programs (PhD Thesis), October 2, 2007. [PDF][PS][Abstract]
[2007-011] Reyzin, Leonid. Entropy Loss is Maximal for Uniform Inputs, September 20, 2007. [PDF][PS][Abstract]
[2007-010] Li, Rui; Tian, Tai-Peng; Sclaroff, Stan. Simultaneous Learning of Nonlinear Manifold and Dynamical Models for High-dimensional Time Series , August 21, 2007. [PDF][PS][Abstract]
[2007-009] Smaragdakis, Georgios ; Laoutaris, Nikolaos; Michiardi, Pietro; Bestavros, Azer; Byers, John; Roussopoulos, Mema. Swarming on optimized graphs for n-way broadcast, July 5, 2007. [PDF][PS][Abstract]
[2007-008] Morcos, Hany; Bestavros, Azer; Matta, Ibrahim. Amorphous Placement and Informed Diffusion for Timely Field Monitoring by Autonomous, Resource-Constrained Mobile Sensors, June 6, 2007. [PDF][PS][Abstract]
[2007-007] Bera, Debajyoti; Green, Frederic; Homer, Steve. Small Depth Quantum Circuits, May 24, 2007. [PDF][PS][Abstract]
[2007-006] Smaragdakis, Georgios ; Laoutaris, Nikolaos; Bestavros, Azer; Byers, John; Roussopoulos, Mema. Improving the Performance of Overlay Routing and P2P File Sharing using Selfish Neighbor Selection, May 15, 2007. [PDF][PS][Abstract]
[2007-005] Erramilli, Vijay; Chaintreau, Augustin; Crovella, Mark; Diot, Christophe. Diversity of Forwarding Paths in Pocket Switched Networks, May 13, 2007. [PDF][PS][Abstract]
[2007-004] Li, Rui; Sclaroff, Stan. Multi-scale 3D Scene Flow from Binocular Stereo Sequences , May 10, 2007. [PDF][PS][Abstract]
[2007-003] Yuan, Quan; Thangali, Ashwin Thangali; Ablavsky, Vitaly; Sclaroff, Stan. Parameter Sensitive Detectors, April 30, 2007. [PDF][PS][Abstract]
[2007-002] Riga, Niky; Matta, Ibrahim; Bestavros, Azer. A Geometric Approach to Slot Alignment in Wireless Sensor Networks, March 26, 2007. [PDF][PS][Abstract]
[2007-001] Wang, Chong; Byers, John. Generating Representative ISP Topologies From First-Principles, March 15, 2007. [PDF][PS][Abstract]
[2006-034] Panagiotis Papapetrou. Constraint-based Mining of Frequent Arrangements of Temporal Intervals (MA Thesis), December 30, 2006. [PDF][PS][Abstract]
[2006-033] Duarte, Fernando; Mattos, Bernardo; Bestavros, Azer; Almeida, Virgilio; Almeida, Jussara. Traffic Characteristics and Communication Patterns in Blogosphere, December 15, 2006. [PDF][PS][Abstract]
[2006-032] Londono, Jorge; Bestavros, Azer. netEmbed: A Network Resource Mapping Service for Distributed Applications, December 15, 2006. [PDF][PS][Abstract]
[2006-031] Gabay, Yarom; Kfoury, Assaf. Towards Formalizing Java's Weak References, December 15, 2006. [PDF][PS][Abstract]
[2006-030] Mattar, Karim; Sridharan, Ashwin; Zang, Hui; Matta, Ibrahim; Bestavros, Azer. TCP over CDMA2000 Networks: A Cross-Layer Measurement Study, October 25, 2006. [PDF][PS][Abstract]
[2006-029] Liu, Likai; Kfoury, Assaf. Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types, October 25, 2006. [PDF][PS][Abstract]
[2006-028] Morcos, Hany; Bestavros, Azer; Matta, Ibrahim. Real-Time Spatio-Temporal Query Processing in Mobile Ad-Hoc Sensor Networks, October 15, 2006. [PDF][PS][Abstract]
[2006-027] Papapetrou, Panagiotis; Benson, Gary; Kollios, George. Discovering Frequent Poly-Regions of DNA Sequences, October 15, 2006. [PDF][PS][Abstract]
[2006-026] Wang, Jingbin; Athitsos, Vassilis; Sclaroff, Stan; Betke, Margrit. Object Detection at the Optimal Scale with Hidden State Shape Models , October 2, 2006. [PDF][PS][Abstract]
[2006-025] Riga, Niky; Matta, Ibrahim; Medina, Alberto; Redi, Jason; Partridge, Craig. JTP: An Energy-conscious Transport Protocol for Wireless Ad Hoc Networks, September 18, 2006. [PDF][PS][Abstract]
[2006-024] Alon, Jonathan. Spatiotemporal Gesture Segmentation (PhD Thesis), September 18, 2006. [PDF][PS][Abstract]
[2006-023] Smaragdakis, Georgios . Notes on the Effect of Different Access Patterns on the Intensity of Mistreatment in Distributed Caching Groups, September 18, 2006. [PDF][PS][Abstract]
[2006-022] Erramilli, Vijay; Crovella, Mark; Taft, Nina. An Independent-Connection Model for Traffic Matrices, September 6, 2006. [PDF][PS][Abstract]
[2006-020] Parmer, Gabriel; West, Richard; Fry, Gerald. Scalable Overlay Multicast Tree Construction for QoS-Constrained Media Streaming, July 14, 2006. [PDF][PS][Abstract]
[2006-019] Laoutaris, Nikolaos; Smaragdakis, Georgios ; Bestavros, Azer; Byers, John. Implications of Selfish Neighbor Selection in Overlay Networks, July 14, 2006. [PDF][PS][Abstract]
[2006-018] Laoutaris, Nikolaos; Smaragdakis, Georgios; Oikonomou, Konstantinos; Stavrakakis, Ioannis; Bestavros, Azer. Distributed Placement of Service Facilities in Large-Scale Networks, July 14, 2006. [PDF][PS][Abstract]
[2006-017] Laoutaris, Nikolaos; Zervas, Georgos ; Bestavros, Azer; Kollios, George. The Cache Inference Problem and its Application to Content and Request Routing, July 14, 2006. [PDF][PS][Abstract]
[2006-016] Ocean, Michael; Kfoury, Assaf; Bestavros, Azer. Integrating Sensor-Network Research and Development into a Software Engineering Curriculum, July 14, 2006. [PDF][PS][Abstract]
[2006-015] Burke, Dustin; Cecere, Dave; Freiberg, Ben. Extending snBench to Support a Video-Based Intrusion Detection and Alerting System with a Centralized Hash Table, July 14, 2006. [PDF][PS][Abstract]
[2006-014] Chang, Ching; Sweha, Raymond; Papapetrou, Panagiotis. Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP), July 14, 2006. [PDF][PS][Abstract]
[2006-013] Londono, Jorge ; Manjanatha, Sowmya; Han, Zhinan. Extending snBench to Provide Concurrency Support in the Sensorium Execution Environment (SXE), July 14, 2006. [PDF][PS][Abstract]
[2006-012] Parmer, Gabriel; Zervas, Georgios; Bagchi, Angshuman. Extending snBench to Support Hierarchical and Configurable Scheduling, July 14, 2006. [PDF][PS][Abstract]
[2006-011] Li, Feifei; Hadjieleftheriou, Marios; Kollios, George; Reyzin, Leonid. Authenticated Index Sturctures for Aggregation Queries in Outsourced Databases, July 10, 2006. [PDF][PS][Abstract]
[2006-010] Athitsos, Vassilis. Learning Embeddings for Indexing, Retrieval, and Classification, with Applications to Object and Shape Recognition in Image Databases (PhD Thesis), June 14, 2006. [PDF][PS][Abstract]
[2006-009] Mattar, Karim; Sridharan, Ashwin; Zang, Hui; Matta, Ibrahim; Bestavros, Azer. On the Interaction between TCP and the Wireless Channel in CDMA2000 Networks, June 6, 2006. [PDF][PS][Abstract]
[2006-008] Yilmaz, Selma; Matta, Ibrahim. An Adaptive Management Approach to Resolving Policy Conflicts, May 25, 2006. [PDF][PS][Abstract]
[2006-007] Waber, Benjamin; Magee, John; Betke, Margrit. Web Mediators for Accessible Browsing, May 11, 2006. [PDF][PS][Abstract]
[2006-006] Akram, Wajeeha; Tiberii, Laura; Betke, Margrit. A customizable camera-based human computer interaction system allowing people with disabilities autonomous hands free navigation of multiple computing tasks, May 11, 2006. [PDF][PS][Abstract]
[2006-005] Morcos, Hany; Bestavros, Azer; Matta, Ibrahim. Amorphous Placement and Retrieval of Sensory Data in Sparse Mobile Ad-Hoc Networks, April 4, 2006. [PDF][PS][Abstract]
[2006-004] Li, Feifei; Hadjieleftheriou, Marios; Kollios, George; Reyzin, Leonid. Authenticated Index Structures for Outsourced Database Systems, April 1, 2006. [PDF][PS][Abstract]
[2006-003] Laoutaris, Nikolaos; Smaragdakis, Georgios ; Bestavros, Azer; Matta, Ibrahim; Stavrakakis, Ioannis. Distributed Selfish Caching, February 7, 2006 . [PDF][PS][Abstract]
[2006-002] Guirguis, Mina; Bestavros, Azer; Matta, Ibrahim. On the Impact of Low-Rate Attacks, February 6, 2006. [PDF][PS][Abstract]
[2006-001] Gabay, Yarom; Ocean, Michael; Kfoury, Assaf; Liu, Likai. Computational Properties of SNAFU, February 6, 2006. [PDF][PS][Abstract]
[2005-035] Bakewell, Adam; Carlier, Sebastien; Kfoury, Assaf; Wells, J. B.. Inferring Intersection Typings that Are Equivalent to Call-by-Name and Call-by-Value Evaluations, December 30, 2005. [PDF][PS][Abstract]
[2005-034] Gabay, Yarom; Kfoury, Assaf; Liu, Likai; Bestavros, Azer; Bradley, Adam; Matta, Ibrahim. Type Systems for a Network Specification Language With Multiple-Choice Let, December 28, 2005. [PDF][PS][Abstract]
[2005-033] Liu, Likai; Kfoury, Assaf; Bestavros, Azer; Gabay, Yarom; Bradley, Adam; Matta, Ibrahim. Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach, December 28, 2005. [PDF][PS][Abstract]
[2005-032] Gorman, Mikhail; Betke, Margrit; Saltzman, Elliot; Lahav, Amir. MusicMaker -- A Camera-based Music Making Tool for Physical Rehabilitation, December 8, 2005. [PDF][PS][Abstract]
[2005-031] Hallett, Joseph ; Kfoury, Assaf. A Formal Semantics for Weak References, August 8, 2005. [PDF][PS][Abstract]
[2005-030] Donnelly, Kevin; Kfoury, Assaf. Some Considerations on a Calculus with Weak References , July 27, 2005. [PDF][PS][Abstract]
[2005-029] Tian, Tai-Peng ; Li, Rui; Sclaroff, Stan. Tracking Human Body Pose on a Learned Smooth Space, July 28, 2005. [PDF][PS][Abstract]
[2005-028] Yilmaz, Selma; Matta, Ibrahim. An Adaptive Policy Management Approach to BGP Convergence, July 7, 2005. [PDF][PS][Abstract]
[2005-027] Rodeski, Vladimir ; Mullally, William; Bellardine, Carissa ; Lutchen, Kenneth; Betke, Margrit. Computing a Uniform Scaling Parameter for 3D Registration of Lung Surfaces, July 7, 2005. [PDF][PS][Abstract]
[2005-026] Laoutaris, Nikolaos; Smaragdakis, Georgios; Bestavros, Azer; Stavrakakis, Ioannis. Mistreatment in Distributed Caching Groups: Causes and Implications, July 7, 2005. [PDF][PS][Abstract]
[2005-025] Tian, Tai-Peng ; Li, Rui; Sclaroff, Stan. Articulated Pose Estimation in a Learned Smooth Space of Feasible Solutions, July 7, 2005. [PDF][PS][Abstract]
[2005-024] Castelli, Thomas; Betke, Margrit; Neidle, Carol. Facial Feature Tracking and Occlusion Recovery in American Sign Language, July 7, 2005. [PDF][PS][Abstract]
[2005-023] Waber, Benjamin; Magee, John; Betke, Margrit. Fast Head Tilt Detection for Human-Computer Interaction, July 7, 2005. [PDF][PS][Abstract]
[2005-022] Yuan, Quan; Thangali, Ashwin; Sclaroff, Stan. Face identification by a cascade of rejection classifiers, June 10, 2005. [PDF][PS][Abstract]
[2005-021] Athitsos, Vassilis; Wang, Jingbin; Sclaroff, Stan; Betke, Margrit. Detecting Instances of Shape Classes That Exhibit Variable Structure, June 8, 2005. [PDF][PS][Abstract]
[2005-020] Alon, Jonathan; Athitsos, Vassilis; Sclaroff, Stan. Fast and Accurate Gesture Spotting using Subgesture Reasoning and Pruning of Unlikely Dynamic Programming Paths, June 3, 2005. [PDF][PS][Abstract]
[2005-019] Alon, Jonathan; Athitsos, Vassilis; Sclaroff, Stan. Online and Offine Character Recognition Using Alignment to Prototypes, June 3, 2005. [PDF][PS][Abstract]
[2005-018] Law, Kevin; Sclaroff, Stan. Foreground Object Segmentation from Binocular Stereo Video, May 19, 2005. [PDF][PS][Abstract]
[2005-017] Nunziati, Walter; Alon, Jonathan; Sclaroff, Stan; Del Bimbo, Alberto . View registration using interesting segments of planar trajectories, May 19, 2005. [PDF][PS][Abstract]
[2005-016] Nunziati, Walter; Sclaroff, Stan; Del Bimbo, Alberto . An Invariant Representation for Matching Trajectories across uncalibrated video streams, May 19, 2005. [PDF][PS][Abstract]
[2005-015] Liu, Likai; Kfoury, Assaf; Bestavros, Azer; Bradley, Adam; Gabay, Yarom; Matta, Ibrahim. Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking, May 12, 2005. [PDF][PS][Abstract]
[2005-014] Bestavros, Azer; Bradley, Adam; Kfoury, Assaf; Matta, Ibrahim. Typed Abstraction of Complex Network Compositions, May 1, 2005. [PDF][PS][Abstract]
[2005-013] Nunziati, Walter; Sclaroff, Stan; Del Bimbo, Alberto . An Invariant Representation for Matching Trajectories across Uncalibrated Video Streams, May 1, 2005. [PDF][PS][Abstract]
[2005-012] Chau, Michael; Betke, Margrit. Real Time Eye Tracking and Blink Detection with USB Cameras, April 28, 2005. [PDF][PS][Abstract]
[2005-011] Hadjieleftheriou, Marios; Byers, John; Kollios, George. Robust Sketching and Aggregation of Distributed Data Streams, March 16, 2005. [PDF][PS][Abstract]
[2005-010] Athitsos, Vassilis; Hadjieleftheriou, Marios; Kollios, George; Sclaroff, Stan. Query-Sensitive Embeddings, March 16, 2005. [PDF][PS][Abstract]
[2005-009] Athitsos, Vassilis; Alon, Jonathan; Sclaroff, Stan. Efficient Nearest Neighbor Classification Using a Cascade of Approximate Similarity Measures, March 16, 2005. [PDF][PS][Abstract]
[2005-008] Wang, Jingbin; Gu, Erdan; Betke, Margrit. MosaicShape: Stochastic Region Grouping with Shape Prior, February 27, 2005. [PDF][PS][Abstract]
[2005-007] Betke, Margrit; Gusyatin, Oleg; Urinson, Mikhail. SymbolDesign: A User-centered Method to Design Pen-based Interfaces and Extend the Functionality of Pointer Input Devices, February 27, 2005. [PDF][PS][Abstract]
[2005-006] West, Richard; Wong, Gary. Cuckoo: a Language for Implementing Memory- and Thread-safe System Services, February 23, 2005. [PDF][PS][Abstract]
[2005-005] West, Richard; Gloudon, Jason; Qi, Xin ; Parmer, Gabriel. An Efficient User-Level Shared Memory Mechanism for Application-Specific Extensions , February 23, 2005. [PDF][PS][Abstract]
[2005-004] West, Richard; Fry, Gerald; Wong, Gary. Comparison of k-ary n-cube and de Bruijn Overlays in QoS-constrained Multicast Applications, February 23, 2005. [PDF][PS][Abstract]
[2005-003] Xi, Hongwei; Zhu, Dengping; Li, Yanka. Applied Type System with Stateful Views, February 10, 2005. [PDF][PS][Abstract]
[2005-002] Lakhina, Anukool; Crovella, Mark; Diot, Christophe. Mining Anomalies Using Traffic Distributions, February 10, 2005. [PDF][PS][Abstract]
[2005-001] Sharma, Manish; Byers, John. Scalable Coordination Techniques for Distributed Network Monitoring, January 20, 2005. [PDF][PS][Abstract]
[2004-036] Tian, Tai-Peng; Sclaroff, Stan. Handsignals Recognition From Video Using 3D Motion Capture Data, November 4, 2004. [PDF][PS][Abstract]
[2004-035] Yuan, Quan; Sclaroff, Stan; Athitsos, Vassilis. Automatic 2D Hand Tracking in Video Sequences, November 2, 2004. [PDF][PS][Abstract]
[2004-034] Li, Rui; Sclaroff, Stan. Multi-scale 3D Scene Flow from Binocular Stereo Sequences, November 2, 2004. [PDF][PS][Abstract]
[2004-033] Thangali, Ashwin; Sclaroff, Stan. Periodic Motion Detection and Estimation via Space-Time Sampling, November 2, 2004. [PDF][PS][Abstract]
[2004-032] Reyzin, Leonid. A Note On the Statistical Difference of Small Direct Products, September 21, 2004. [PDF][PS][Abstract]
[2004-031] Bash, Boulat; Byers, John; Considine, Jeffrey. Approximately Uniform Random Sampling in Sensor Networks, July 19, 2004. [PDF][PS][Abstract]
[2004-030] Zhang, Yuting; Bestavros, Azer; Guirguis, Mina; Matta, Ibrahim; West, Richard. Friendly Virtual Machine: Leveraging a Feedback-Control Model for Application Adaptation , July 19, 2004. [PDF][PS][Abstract]
[2004-029] Morcos, Hany; Matta, Ibrahim; Bestavros, Azer. M2RC: Multiplicative-increase/additive-decrease Multipath Routing Control for Wireless Sensor Networks, July 14, 2004. [PDF][PS][Abstract]
[2004-028] Chang, Ching; Li, Feifei Li ; Bestavros, Azer; Kollios, George. GreedyDual-Join: Locality-Aware Buffer Management for Approximate Join Processing Over Data Streams, July 1, 2004. [PDF][PS][Abstract]
[2004-027] Li, Feifei Li ; Dihan, Cheng. On Trip Planning Queries in Spatial Databases, July 1, 2004. [PDF][PS][Abstract]
[2004-026] Sharma, Abhishek; Bestavros, Azer; Matta, Ibrahim. dPAM: A Distributed Prefetching Protocol for Scalable Asynchronous Multicast in P2P Systems, July 1, 2004. [PDF][PS][Abstract]
[2004-025] Fonseca, Nahur; Crovella, Mark. Bayesian Packet Loss Detection for TCP, July 1, 2004. [PDF][PS][Abstract]
[2004-024] Erramilli, Vijay; Matta, Ibrahim; Bestavros, Azer. On the Interaction between Data Aggregation and Topology Control in Wireless Sensor Networks, June 18, 2004. [PDF][PS][Abstract]
[2004-023] Riga, Niky; Matta, Ibrahim; Bestavros, Azer. DIP: Density Inference Protocol for wireless sensor networks and its application to density-unbiased statistics, May 31, 2004. [PDF][PS][Abstract]
[2004-022] Smaragdakis, Georgios; Matta, Ibrahim; Bestavros, Azer. SEP: A Stable Election Protocol for clustered heterogeneous wireless sensor networks , May 31, 2004. [PDF][PS][Abstract]
[2004-021] Bestavros, Azer; Bradley, Adam; Kfoury, Assaf; Matta, Ibrahim. Safe Compositional Specification of Networking Systems, May 14, 2004. [PDF][PS][Abstract]
[2004-020] Lakhina, Anukool; Crovella, Mark; Diot, Christophe. Characterization of Network-Wide Anomalies in Traffic Flows, May 14, 2004. [PDF][PS][Abstract]
[2004-019] Itkis, Gene; Maiss, Arwa. Interactive Password Schemes, April 27, 2004. [PDF][PS][Abstract]
[2004-018] Hamandi, Hani; Itkis, Gene. Group Key Manager on a Smart Card, April 27, 2004. [PDF][PS][Abstract]
[2004-017] Buzan, Dan; Sclaroff, Stan; Kollios, George. Extraction and Clustering of Motion Trajectories in Video, April 23, 2004. [PDF][PS][Abstract]
[2004-016] Buzan, Dan. Robust Tracking of Human Motion, April 23, 2004. [PDF][PS][Abstract]
[2004-015] Erdem, Murat; Sclaroff, Stan. Automated Camera Layout to Satisfy Task-Specific and Floorplan-Specific Coverage Requirements, April 15, 2004. [PDF][PS][Abstract]
[2004-014] Athitsos, Vassilis; Alon, Joni; Sclaroff, Stan; Kollios, George. Learning Euclidean Embeddings for Indexing and Classification, April 7, 2004. [PDF][PS][Abstract]
[2004-013] Zhang, Yuting; West, Richard; Qi, Xin. A Virtual Deadline Scheduler for Window-Constrained Service Guarantees, March 22, 2004. [PDF][PS][Abstract]
[2004-012] Alon, Jonathan; Athitsos, Vassilis; Yuan, Quan; Sclaroff, Stan. Simultaneous Localization and Recognition of Dynamic Hand Gestures, March 8, 2004. [PDF][PS][Abstract]
[2004-011] Medina, Alberto; Salamatian, Kave; Taft, Nina; Matta, Ibrahim; Diot, Christophe. A Two-step Statistical Approach for Inferring Network Traffic Demands (Revises Technical Report BUCS-TR-2003-003), March 1, 2004. [PDF][PS][Abstract]
[2004-010] Yilmaz, Selma; Matta, Ibrahim. A Randomized Solution to BGP Divergence, March 1, 2004. [PDF][PS][Abstract]
[2004-009] Qi, Xin; Parmer, Gabriel; West, Richard; Gloudon, Jason; Hernandez, Luis. Efficient End-Host Architecture for High Performance Communication Using User-level Sandboxing, March 1, 2004. [PDF][PS][Abstract]
[2004-008] Lakhina, Anukool; Crovella, Mark; Diot, Christophe. Diagnosing Network-Wide Traffic Anomalies, February 24, 2004. [PDF][PS][Abstract]
[2004-007] Bradley, Adam; Kfoury, Assaf; Bestavros, Azer. StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages , February 13, 2005. [PDF][PS][Abstract]
[2004-006] Athitsos, Vassilis ; Sclaroff, Stan. Boosting Nearest Neighbor Classifiers for Multiclass Recognition, February 13, 2005. [PDF][PS][Abstract]
[2004-005] Guirguis, Mina; Bestavros, Azer; Matta, Ibrahim. Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources, January 30, 2004. [PDF][PS][Abstract]
[2004-004] Hallett, Joseph ; Kfoury, Assaf. Programming Examples Needing Polymorphic Recursion, January 22, 2004 . [PDF][PS][Abstract]
[2004-003] Fenner, S.; Green, F.; Homer, S.; Zhang, Y. . Bounds on the Power of Constant-Depth Quantum Circuits, January 12, 2004 . [PDF][PS][Abstract]
[2004-002] Fang, M.; Fenner, S.; Green, F.; Homer, S.; Zhang, Y. . Quantum Lower Bounds for Fanout, January 12, 2004 . [PDF][PS][Abstract]
[2004-001] Betke, Margrit ; Wang, Jingbin ; Ko, Jane . Integrated Chest Image Analysis System ``BU-MIA'' , January 7, 2004 . [PDF][PS][Abstract]
[2003-032] Diamant, Gali; Veytser, Leonid; Matta, Ibrahim; Bestavros, Azer; Guirguis, Mina; Guo, Liang; Zhang, Yuting; Chen, Sean. itmBench: Generalized API for Internet Traffic Managers, December 16, 2003. [PDF][PS][Abstract]
[2003-031] Murat, Ugur; Sclaroff, Stan. Automated Placement of Cameras in a Floorplan to Satisfy Task-Specific Constraints, December 8, 2003. [PDF][PS][Abstract]
[2003-030] Barman, Dhiman; Matta, Ibrahim. A Bayesian Approach for TCP to Distinguish Congestion from Wireless Losses, December 3, 2003. [PDF][PS][Abstract]
[2003-029] Barman, Dhiman; Matta, Ibrahim; Altman, Eitan; Azouzi, Rachid. TCP Optimization through FEC, ARQ and Transmission Power Tradeoffs, December 3, 2003. [PDF][PS][Abstract]
[2003-028] Guirguis, Mina; Bestavros, Azer; Matta, Ibrahim; Riga, Niky; Diamant, Gali; Zhang, Yuting. Providing Soft Bandwidth Guarantees Using Elastic TCP-based Tunnels, December 2, 2003. [PDF][PS][Abstract]
[2003-027] Wang, Tao; Matta, Ibrahim; Bestavros, Azer. Efficiently and Fairly Allocating Bandwidth at a Highly Congested Link, December 2, 2003. [PDF][PS][Abstract]
[2003-026] Guirguis, Mina; Bestavros, Azer; Matta, Ibrahim. Exogenous-Loss Awareness in Queue Management: Toward Global Fairness, December 2, 2003. [PDF][PS][Abstract]
[2003-025] Isodoro, John; Sclaroff, Stan. Contour Generator Points for Threshold Selection and a Novel Photo-Consistency Measure for Space Carving, December 2, 2003. [PDF][PS][Abstract]
[2003-024] Considine, Jeffrey; Walfish, Michael; Andersen, David G.. A Pragmatic Approach to DHT Adoption, December 1, 2003. [PDF][PS][Abstract]
[2003-023] Athitsos, Vassilis; Alon, Jonathan; Sclaroff, Stan; Kollios, George. BoostMap: A Method for Efficient Approximate Similarity Rankings, November 24, 2003. [PDF][PS][Abstract]
[2003-022] Lakhina, Anukool; Papagiannaki, Konstantina; Crovella, Mark; Diot, Christophe; Kolaczyk, Eric; Taft, Nina. Data Logs for Structural Analysis of Network Traffic Flows, November 20, 2003. [PDF][PS][Abstract]
[2003-021] Lakhina, Anukool; Papagiannaki, Konstantina; Crovella, Mark; Diot, Christophe; Kolaczyk, Eric; Taft, Nina. Structural Analysis of Network Traffic Flows, November 20, 2003. [PDF][PS][Abstract]
[2003-020] Fry, Gerald; West, Richard. Adaptive Routing of QoS-constrained Media Streams over Scalable Overlay Topologies, November 7, 2003. [PDF][PS][Abstract]
[2003-019] West, Richard; Schwan, Karsten; Poellabauer, Christian. Dynamic Window-Constrained Scheduling for Real-Time Media Streaming, August 29, 2003. [PDF][PS][Abstract]
[2003-018] Zhong, Jing; Sclaroff, Stan. Segmenting Foreground Objects from a Dynamic Textured Background via a Robust Kalman Filter, July 18, 2003. [PDF][PS][Abstract]
[2003-017] Isidoro, John; Sclaroff, Stan. Stochastic Refinement of the Visual Hull to Satisfy Photometric and Silhouette Consistency Constraints, July 18, 2003. [PDF][PS][Abstract]
[2003-016] Isidoro, John; Sclaroff, Stan. Stochastic Mesh-Based Multiview Reconstruction, July 1, 2003. [PDF][PS][Abstract]
[2003-015] Kwon, Gu-In; Byers, John. ROMA: Reliable Overlay Multicast with Loosely Coupled TCP Connections, July 1, 2003. [PDF][PS][Abstract]
[2003-014] West, Richard; Gloudon, Jason. User-Level Sandboxing: a Safe and Efficient Mechanism for Extensibility, June 1, 2003. [PDF][PS][Abstract]
[2003-013] Guirguis, Mina; Bestavros, Azer; Matta, Ibrahim. On the Efficiency and Fairness of Transmission Control Loops: A Case for Exogenous Losses, May 16, 2003. [PDF][PS][Abstract]
[2003-012] Bradley, Adam; Bestavros, Azer; Kfoury, Assaf. Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN, May 16, 2003. [PDF][PS][Abstract]
[2003-011] Barman, Dhiman ; Matta, Ibrahim. How well can TCP infer network state?, May 16, 2003. [PDF][PS][Abstract]
[2003-010] Athitsos, Vassilis; Sclaroff, Stan. Database Indexing Methods for 3D Hand Pose Estimation, April 1, 2003. [PDF][PS][Abstract]
[2003-009] Athitsos, Vassilis; Sclaroff, Stan. Estimating 3D Hand Pose from a Cluttered Image, April 1, 2003. [PDF][PS][Abstract]
[2003-008] Alon, Jonathan; Sclaroff, Stan; Kollios, George; Pavlovic, Vladimir. Discovering Clusters in Motion Time-Series Data, March 28, 2003. [PDF][PS][Abstract]
[2003-007] Rosales, Romer; Sclaroff, Stan. The Specialized Mappings Architecture, March 28, 2003. [PDF][PS][Abstract]
[2003-006] Sigal, Leonid; Sclaroff, Stan. Skin Color-Based Video Segmentation under Time-Varying Illumination, March 28, 2003. [PDF][PS][Abstract]
[2003-005] Fayed, Marwan; Krapivsky, Paul; Byers, John; Crovella, Mark; Finkel, David; Redner, Sid. On the Emergence of Highly Variable Distributions in the Autonomous System Topology, March 1, 2003. [PDF][PS][Abstract]
[2003-004] Itkis, Gene. Cryptographic Tamper Evidence, February 11, 2003. [PDF][PS][Abstract]
[2003-003] Medina, Alberto; Salamatian, Kave; Taft, Nina; Matta, Ibrahim; Tsang, Yolanda; Diot, Christophe. On the Convergence of Statistical Techniques for Inferring Network Traffic Demands, February 6, 2003. [PDF][PS][Abstract]
[2003-002] Byers, John; Considine, Jeffrey; Mitzenmacher, Michael. Geometric Generalizations of the Power of Two Choices, February 6, 2003. [PDF][PS][Abstract]
[2003-001] Fayed, Marwan; Krapivsky, Paul; Byers, John; Crovella, Mark; Finkel, David; Redner, Sid . On the Size Distribution of Autonomous Systems, January 17, 2003. [PDF][PS][Abstract]
[2002-031] Considine, Jeffrey. Cluster-based Optimizations for Distributed Hash Tables, November 1, 2002. [PDF][PS][Abstract]
[2002-030] Bradley, Adam; Bestavros, Azer; Kfoury, Assaf. Validating Arbitrarily Large Network Protocol Compositions with Finite Computation , October 31, 2002. [PDF][PS][Abstract]
[2002-029] Byers, John; Considine, Jeffrey; Mitzenmacher, Michael. Simple Load Balancing for Distributed Hash Tables, November 1, 2002. [PDF][PS][Abstract]
[2002-028] Fortnow, Lance; Homer, Steven. A Short History of Computational Complexity, October 30, 2002. [PDF][PS][Abstract]
[2002-027] Jin, Shudong; Guo, Liang; Matta, Ibrahim; Bestavros, Azer. A Spectrum of TCP-friendly Window-based Congestion Control Algorithms, October 15, 2002. [PDF][PS][Abstract]
[2002-026] Considine, Jeffrey ; Florio, Thomas. Scalable Peer-to-Peer Indexing with Constant State, September 27, 2002. [PDF][PS][Abstract]
[2002-025] Kwon, Gu-In; Byers, John. Smooth Multirate Multicast Congestion Control, September 27, 2002. [PDF][PS][Abstract]
[2002-024] Jin, Shudong; Bestavros, Azer. Cache-and-Relay Streaming Media Delivery for Asynchronous Clients, September 20, 2002. [PDF][PS][Abstract]
[2002-023] Lombardi, Jonathan; Betke, Margrit. A Self-initializing Eyebrow Tracker for Binary Switch Emulation , September 15, 2002. [PDF][PS][Abstract]
[2002-022] Fonseca, Rodrigo; Almeida, Virgilio; Crovella, Mark; Abrahao, Bruno. On the Intrinsic Locality Properties of Web Reference Streams, July 15, 2002. [PDF][PS][Abstract]
[2002-021] Lakhina, Anukool; Byers, John; Crovella, Mark; Xie, Peng. Sampling Biases in IP Topology Measurements, July 15, 2002. [PDF][PS][Abstract]
[2002-020] Crovella, Mark; Kolaczyk, Eric. Graph Wavelets for Spatial Traffic Analysis, July 15, 2002. [PDF][PS][Abstract]
[2002-019] Byers, John; Considine, Jeffrey; Mitzenmacher, Michael. Fast Approximate Reconciliation of Set Differences, July 11, 2002. [PDF][PS][Abstract]
[2002-018] Yilmaz, Selma; Matta, Ibrahim. Unicast Routing: Cost-Performance Tradeoffs, July 5, 2002. [PDF][PS][Abstract]
[2002-017] Bradley, Adam; Bestavros, Azer; Kfoury, Assaf. Safe Composition of Web Communication Protocols for Extensible Edge Services, May 22, 2002. [PDF][PS][Abstract]
[2002-016] Barman, Dhiman; Matta, Ibrahim. Effectiveness of Loss Labeling in Improving TCP Performance in Wired/Wireless Networks, May 22, 2002. [PDF][PS][Abstract]
[2002-015] Lakhina, Anukool; Byers, John ; Crovella, Mark; Matta, Ibrahim. On the Geographic Location of Internet Resources, May 21, 2002. [PDF][PS][Abstract]
[2002-014] Veloso, Eveline; Almeida, Virgilio; Meira, Wagner; Bestavros, Azer; Jin, Shudong. A Hierarchical Characterization of a Live Streaming Media Workload, May 10, 2002. [PDF][PS][Abstract]
[2002-013] Yilmaz, Selma; Matta, Ibrahim. On the Scalability-Performance Tradeoffs in MPLS and IP Routing, May 10, 2002. [PDF][PS][Abstract]
[2002-012] Guo, Liang; Matta, Ibrahim. Differentiated Control of Web Traffic: A Numerical Analysis, May 10, 2002. [PDF][PS][Abstract]
[2002-011] Erdem, Ugur Murat ; Sclaroff, Stan. Automatic Detection of Relevant Head Gestures in American Sign Language Communication, May 3, 2002. [PDF][PS][Abstract]
[2002-010] Siddiqui, Matheen; Sclaroff, Stan. Surface Reconstruction from Multiple Views using Rational B-Splines and Knot Insertion, March 25, 2002. [PDF][PS][Abstract]
[2002-009] Guo, Liang; Matta, Ibrahim. Scheduling Flows with Unknown Sizes: Approximate Analysis, March 21, 2002. [PDF][PS][Abstract]
[2002-008] Liu, Jun; Matta, Ibrahim; Crovella, Mark. End-to-End Inference of Loss Nature in a Hybrid Wired/Wireless Environment, March 14, 2002. [PDF][PS][Abstract]
[2002-007] Byers, John; Considine, Jeffrey; Mitzenmacher, Michael; Rost, Stanislav. Informed Content Delivery Across Adaptive Overlay Networks, March 4, 2002. [PDF][PS][Abstract]
[2002-005] Harfoush, Khaled; Bestavros, Azer; Byers, John. PeriScope: An Active Internet Probing and Measurement API, January 30, 2002. [PDF][PS][Abstract]
[2002-004] Jin, Shudong; Bestavros, Azer. Small-World Internet Topologies: Possible Causes and Implications on Scalability of End-System Multicast, January 30, 2002. [PDF][PS][Abstract]
[2002-003] Martin, David; Schulman, Andrew. Deanonymizing Users of the SafeWeb Anonymizing Service, February 11, 2002. [PDF][PS][Abstract]
[2002-002] Byers, John; Cheng, Mei Chin; Considine, Jeffrey; Itkis, Gene; Yeung, Alex. Securing Bulk Content Almost for Free, January 22, 2002. [PDF][PS][Abstract]
[2002-001] Rosales, Romer. Specialized Mappings Architecture with Applications to Vision-Based Estimation of Articulated Body Pose (PhD Thesis), January 15, 2002. [PDF][PS][Abstract]
[2001-026] Guo, Liang; Crovella, Mark; Matta, Ibrahim. How does TCP generate Pseudo-self-similarity? (ERRATA), November 7, 2001. [PDF][PS][Abstract]
[2001-025] Jin, Shudong; Bestavros, Azer. Scalability of Multicast Delivery for Non-sequential Streaming Access, October 30, 2001. [PDF][PS][Abstract]
[2001-024] Bradley, Adam; Bestavros, Azer. Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency, October 30, 2001. [PDF][PS][Abstract]
[2001-023] Jin, Shudong; Bestavros, Azer; Iyengar, Arun. Accelerating Internet Streaming Media Delivery using Network-Aware Partial Caching, October 30, 2001. [PDF][PS][Abstract]
[2001-022] Athitsos, Vassilis; Sclaroff, Stan. An Appearance-Based Framework for 3D Hand Shape Classification and Camera Viewpoint Estimation, October 22, 2001. [PDF][PS][Abstract]
[2001-021] Athitsos, Vassilis; Sclaroff, Stan. 3D Hand Pose Estimation by Finding Appearance-Based Matches in a Large Database of Training Views, October 22, 2001. [PDF][PS][Abstract]
[2001-020] Jin, Shudong; Bestavros, Azer. GISMO: A Generator of Internet Streaming Media Objects and Workloads, October 10, 2001. [PDF][PS][Abstract]
[2001-019] Considine, Jeffrey. Generating Good Degree Distributions for Sparse Parity Check Codes using Oracles, October 1, 2001. [PDF][PS][Abstract]
[2001-018] Byers, John; Kwon, Gu-In. STAIR: Practical AIMD Multirate Multicast Congestion Control, September 3, 2001. [PDF][PS][Abstract]
[2001-017] Bestavros, Azer; Rabinovich, Michael. Proceedings of the Sixth International Web Content Caching and Distribution Workshop (WCW'01), August 2, 2001. [PDF][PS][Abstract]
[2001-016] Harfoush, Khaled; Bestavros, Azer; Byers, John. Measuring Bottleneck Bandwidth of Targeted Path Segments, July 31, 2001. [PDF][PS][Abstract]
[2001-015] Jin, Shudong; Guo, Liang; Matta, Ibrahim; Bestavros, Azer. A Spectrum of TCP-friendly Window-based Congestion Control Algorithms, July 12, 2001. [PDF][PS][Abstract]
[2001-014] Guo, Liang; Crovella, Mark; Matta, Ibrahim. How does TCP generate Pseudo-self-similarity?, July 12, 2001. [PDF][PS][Abstract]
[2001-013] Tsaoussidis, Vassilis; Matta, Ibrahim. Open Issues on TCP for Mobile Computing, July 3, 2001. [PDF][PS][Abstract]
[2001-012] Bestavros, Azer; Mehrotra, Sumit. DNS-based Internet Client Clustering and Characterization, June 5, 2001. [PDF][PS][Abstract]
[2001-011] Yilmaz, Selma; Matta, Ibrahim. On Class-based Isolation of UDP, Short-lived and Long-lived TCP Flows, June 5, 2001. [PDF][PS][Abstract]
[2001-010] Bestavros, Azer; Byers, John; Harfoush, Khaled. Inference and Labeling of Metric-Induced Network Topologies, June 5, 2001. [PDF][PS][Abstract]
[2001-009] Siddiqui, Matheen; Sclaroff, Stan. Surface Reconstruction from Multiple Views using Rational B-Splines, June 5, 2001. [PDF][PS][Abstract]
[2001-008] Rosales, Romer; Siddiqui, Matheen; Alon, Jonathan; Sclaroff, Stan. Estimating 3D Body Pose using Uncalibrated Cameras, June 5, 2001. [PDF][PS][Abstract]
[2001-007] Liu, Lifeng; Sclaroff, Stan. Retrieval by Shape Population: An Index Tree Approach, June 5, 2001. [PDF][PS][Abstract]
[2001-006] Jin, Shudong; Guo, Liang; Matta, Ibrahim; Bestavros, Azer. TCP-friendly SIMD Congestion Control and Its Convergence Behavior, May 8, 2001. [PDF][PS][Abstract]
[2001-005] Guo, Liang; Matta, Ibrahim. The War Between Mice and Elephants, May 7, 2001. [PDF][PS][Abstract]
[2001-004] Betke, Margrit; Hong, Harrison; Ko, Jane. Automatic 3D Registration of Lung Surfaces in Computed Tomography Scans, April 24, 2001. [PDF][PS][Abstract]
[2001-003] Medina, Alberto; Lakhina, Anukool; Matta, Ibrahim; Byers, John. BRITE: Universal Topology Generation from a User's Perspective, April 1, 2001. [PDF][PS][Abstract]
[2001-002] Dimock, Allyn; Westmacott, Ian; Muller, Robert; Turbak, Franklyn; Wells, J.B.; Considine, Jeffrey. Program representation size in an intermediate language with intersection and union types, March 15, 2001. [PDF][PS][Abstract]
[2001-001] Harfoush, Khaled; Bestavros, Azer; Byers, John. Robust Identification of Shared Losses Using End-to-End Unicast Probes (ERRATA), January 8, 2001. [PDF][PS][Abstract]
[2000-028] Gschwendter, Thomas. TCP Control Groups: Aggregated Congestion Control for TCP (MA Thesis), May 12, 2000. [PDF][PS][Abstract]
[2000-027] Duvos, Enrique; Bestavros, Azer. An Infrastructure for the Dynamic Distribution of Web Applications and Services, December 15, 2000. [PDF][PS][Abstract]
[2000-026] Byers, John; Luby, Michael; Mitzenmacher, Michael. Fine-Grained Layered Multicast, December 15, 2000. [PDF][PS][Abstract]
[2000-025] Rost, Stan; Byers, John; Bestavros, Azer. The Cyclone Server Architecture: Streamlining Delivery of Popular Content, December 15, 2000. [PDF][PS][Abstract]
[2000-024] Liu, Lifeng; Sclaroff, Stan. Region Segmentation via Deformable Model-Guided Split and Merge, December 4, 2000. [PDF][PS][Abstract]
[2000-023] Alon, Joni; Sclaroff, Stan. An Integrated Approach for Segmentation and Estimation of Planar Structures, December 4, 2000. [PDF][PS][Abstract]
[2000-022] Rosales, Romer; Athitsos, Vassilis; Sclaroff, Stan. 3D Hand Pose Reconstruction Using Specialized Mappings, December 4, 2000. [PDF][PS][Abstract]
[2000-021] Amtoft, Torben Amtoft; Kfoury, Assaf; Pericas-Geertsen, Santiago . What are polymorphically-typed ambients?, October 19, 2000. [PDF][PS][Abstract]
[2000-020] Bugliesi, Michele; Pericas-Geertsen, Santiago M.. Type Inference for Variant Object Types , October 16, 2000. [PDF][PS][Abstract]
[2000-019] Zhang, Xiaohui . Cachability of Web Objects, August 8, 2000. [PDF][PS][Abstract]
[2000-018] Barford, Paul; Bestavros, Azer; Byers, John; Crovella, Mark. On the Marginal Utility of Deploying Measurement Infrastructure, July 3, 2000. [PDF][PS][Abstract]
[2000-017] Guo, Liang; Crovella, Mark; Matta, Ibrahim. TCP Congestion Control and Heavy Tails, July 3, 2000. [PDF][PS][Abstract]
[2000-016] Harfoush, Khaled; Bestavros, Azer; Byers, John. Unicast-based Characterization of Network Loss Topologies, July 3, 2000. [PDF][PS][Abstract]
[2000-015] Rosales, Romer; Sclaroff, Stan. Estimating Human Body Pose from a Single Image via the Specialized Mappings Architecture, June 10, 2000. [PDF][PS][Abstract]
[2000-014] Byers, John; Nasser, Gabriel. Utility-Based Decision-Making in Wireless Sensor Networks, June 1, 2000. [PDF][PS][Abstract]
[2000-013] Harfoush, Khaled; Bestavros, Azer; Byers, John. Robust Identification of Shared Losses Using End-to-End Unicast Probes, May 30, 2000. [PDF][PS][Abstract]
[2000-012] Matta, Ibrahim; Guo, Liang. Differentiated Predictive Fair Service for TCP Flows, May 17, 2000. [PDF][PS][Abstract]
[2000-011] Jin, Shudong; Bestavros, Azer. GreedyDual* Web Caching Algorithm: Exploiting the Two Sources of Temporal Locality in Web Request Streams, April 4, 2000. [PDF][PS][Abstract]
[2000-010] Considine, Jeffrey . Deciding Isomorphisms of Simple Types in Polynomial Time, April 2, 2000. [PDF][PS][Abstract]
[2000-009] Liu, Lifeng; Sclaroff, Stan. Index trees for efficient deformable shape-based retrieval, March 22, 2000. [PDF][PS][Abstract]
[2000-008] Matta, Ibrahim; Bestavros, Azer. QoS Controllers for the Internet, March 12, 2000. [PDF][PS][Abstract]
[2000-007] Kfoury, Assaf; Pericas-Geertsen, Santiago M.. Type Inference For Recursive Definitions, March 6, 2000. [PDF][PS][Abstract]
[2000-006] Considine, Jeffrey. Efficient Hash-Consing of Recursive Types, January 29, 2000. [PDF][PS][Abstract]
[2000-005] Medina, Alberto ; Matta, Ibrahim; Byers, John. BRITE: A Flexible Generator of Internet Topologies, January 21, 2000 (Revised January 15, 2001). [PDF][PS][Abstract]
[2000-004] Medina, Alberto ; Matta, Ibrahim; Byers, John. On the Origin of Power Laws in Internet Topologies, January 20, 2000. [PDF][PS][Abstract]
[2000-003] Green, Frederic; Homer, Steven ; Pollett, Christopher. On the Complexity of Quantum ACC, January 20, 2000. [PDF][PS][Abstract]
[2000-002] Fenner, Stephen; Green, Frederic; Homer, Steven ; Pruim, Randall. Determining Acceptance Possibility for a Quantum Computation is Hard for the Polynomial Hierarchy, January 20, 2000. [PDF][PS][Abstract]
[2000-001] Amtoft, Torben; Turbak, Franklyn. Faithful Translations between Polyvariant Flows and Polymorphic Types, January 10, 2000. [PDF][PS][Abstract]
[1999-019] Bestavros, Azer; Byers, John; Crovella, Mark; Barford, Paul; Matta, Ibrahim; Mitzenmacher, Michael. BU/NSF Workshop on Internet Measurement Instrumentation and Characterization, December 15, 1999. [PDF][PS][Abstract]
[1999-018] Yoon, Jaehee; Bestavros, Azer; Matta, Ibrahim. SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast, December 10, 1999. [PDF][PS][Abstract]
[1999-017] Rosales, Romer; Sclaroff, Stan. Inferring Body Pose without Tracking Body Parts, December 1, 1999. [PDF][PS][Abstract]
[1999-016] Alon, Jonathan; Sclaroff, Stan. Recursive Estimation of Motion and Planar Structure, December 1, 1999. [PDF][PS][Abstract]
[1999-015] Sigal, Leonid; Sclaroff, Stan. Estimation and Prediction of Evolving Color Distributions for Skin Segmentation Under Varying Illumination, December 1, 1999. [PDF][PS][Abstract]
[1999-014] Jin, Shudong; Bestavros, Azer. Temporal Locality in Web Request Streams: Sources, Characteristics, and Caching Implications, October 10, 1999. [PDF][PS][Abstract]
[1999-013] Guo, Liang; Matta, Ibrahim. Search Space Reduction in QoS Routing, October 8, 1999. [PDF][PS][Abstract]
[1999-012] Yoon, Jaehee; Bestavros, Azer; Matta, Ibrahim. Adaptive Reliable Multicast, September 15, 1999. [PDF][PS][Abstract]
[1999-011] Bradley, Adam. Boston University, Computer Science 1998 Proxy Trace, September 7, 1999. [PDF][PS][Abstract]
[1999-010] Ratnam, Karunaharan; Matta, Ibrahim; Rangarajan, Sampath. A Fully Distributed Location Management Scheme for Large PCS, August 24, 1999. [PDF][PS][Abstract]
[1999-009] Jin, Shudong; Bestavros, Azer. Popularity-Aware GreedyDual-Size Web Proxy Caching Algorithms, August 21, 1999. [PDF][PS][Abstract]
[1999-008] Basu, Prithwish; Narayanan, Ashok; Ke, Wang; Little, Tom; Bestavros, Azer. Optimal Scheduling of Secondary Content for Aggregation in Video-on-Demand Systems, July 27, 1999. [PDF][PS][Abstract]
[1999-007] Sethi, Saratendu; Sclaroff, Stan. Combinations of Deformable Shape Prototypes, July 27, 1999. [PDF][PS][Abstract]
[1999-006] Sclaroff, Stan; Alon, Jonathan. Non-Rigid Shape from Image Streams, July 27, 1999. [PDF][PS][Abstract]
[1999-005] La Cascia, Marco; Sclaroff, Stan; Athitsos, Vassilis. Fast, Reliable Head Tracking under Varying Illumination: An Approach Based on Registration of Texture-Mapped 3D Models, April 23, 1999. [PDF][PS][Abstract]
[1999-004] Barford, Paul; Crovella, Mark. Measuring Web Performance in the Wide Area, April 23, 1999. [PDF][PS][Abstract]
[1999-003] Crovella, Mark; Frangioso, Robert; Harchol-Balter, Mor. Connection Scheduling in Web Servers, March 31, 1999. [PDF][PS][Abstract]
[1999-002] Rosales, Romer; Sclaroff, Stan. Trajectory Guided Tracking and Recognition of Actions, March 9, 1999. [PDF][PS][Abstract]
[1999-001] Aversa, Luis; Bestavros, Azer. Load Balancing a Cluster of Web Servers using Distributed Packet Rewriting, January 6, 1999. [PDF][PS][Abstract]
[1998-023] Barford, Paul; Bestavros, Azer; Bradley, Adam; Crovella, Mark. Changes in Web Client Access Patterns: Characteristics and Caching Implications, December 4, 1998. [PDF][PS][Abstract]
[1998-020] Rosales, Romer. Recognition of Human Action Using Moment-Based Features, December 4, 1998. [PDF][PS][Abstract]
[1998-019] Rosales, Romer; Sclaroff, Stan. 3D Trajectory Recovery for Tracking Multiple Objects and Trajectory Guided Recognition of Actions, December 4, 1998. [PDF][PS][Abstract]
[1998-018] La Cascia, Marco; Sclaroff, Stan. Fast, Reliable Head Tracking under Varying Illumination, December 4, 1998. [PDF][PS][Abstract]
[1998-017] Liu, Lifeng ; Sclaroff, Stan . Deformable Shape Detection and Description via Model-Based Region Grouping, December 4, 1998. [PDF][PS][Abstract]
[1998-016] Barford, Paul ; Crovella, Mark . A Performance Evaluation of Hyper Text Transfer Protocols, October 23, 1998. [PDF][PS][Abstract]
[1998-015] Kfoury, Assaf J. ; Wells, Joe B. . Principality and Decidable Type Inference for Finite-Rank Intersection Types, November 6, 1998. [PDF][PS][Abstract]
[1998-014] Atlas, Alia; Bestavros, Azer. An Omniscient Scheduling Oracle for Systems with Harmonic Periods, September 2, 1998. [PDF][PS][Abstract]
[1998-013] Atlas, Alia; Bestavros, Azer. Design and Implementation of SRMS in Kurt Linux, September 2, 1998. [PDF][PS][Abstract]
[1998-012] Atlas, Alia; Bestavros, Azer. The Statistical Rate Monotonic Scheduling Workbench, May 2, 1998. [PDF][PS][Abstract]
[1998-011] Atlas, Alia; Bestavros, Azer. Multiplexing VBR Traffic Flows with Guaranteed Application-level QoS Using Statistical Rate Monotonic Scheduling, May 2, 1998. [PDF][PS][Abstract]
[1998-010] Atlas, Alia; Bestavros, Azer. Statistical Rate Monotonic Scheduling, May 2, 1998. [PDF][PS][Abstract]
[1998-009] Atlas, Alia; Bestavros, Azer. Slack Stealing Job Admission Control Scheduling, May 2, 1998. [PDF][PS][Abstract]
[1998-008] Fenner, Stephen; Green, Frederic; Homer, Steven; Pruim, Randall. Determining Acceptance Possibility for a Quantum Computation is Hard for PH, April 2, 1998. [PDF][PS][Abstract]
[1998-007] Rosales, Romer; Sclaroff, Stan. Improved Tracking of Multiple Humans with Trajectory Predcition and Occlusion Modeling, March 2, 1998. [PDF][PS][Abstract]
[1998-006] Isidoro, John; Sclaroff, Stan. Active Voodoo Dolls: A Vision Based Input Device for Non-rigid Control, February 16, 1998. [PDF][PS][Abstract]
[1998-005] Kim, Gitae; Bestavros, Azer. Preserving Bandwidth Through A Lazy Packet Discard Policy in ATM Networks, February 9, 1998. [PDF][PS][Abstract]
[1998-004] La Cascia, Marco; Sethi, Sarathendu; Sclaroff, Stan. Combining Textual and Visual Cues for Content-based Image Retrieval on the World Wide Web, February 9, 1998. [PDF][PS][Abstract]
[1998-003] Bestavros, Azer; Crovella, Mark; Liu, Jun; Martin, David. Distributed Packet Rewriting and its Application to Scalable Server Architectures, February 1, 1998. [PDF][PS][Abstract]
[1998-002] Gacs, Peter. Reliable Cellular Automata with Self-Organization, January 15, 1998. [PDF][PS][Abstract]
[1998-001] Bestavros, Azer Bestavros ; Hartmann, Olivier . Aggregating Congestion Information Over Sequences of TCP Connections, January 5, 1998. [PDF][PS][Abstract]
[1997-022] Martin, David M. . A Framework for Local Anonymity in the Internet, December 23, 1997. [PDF][PS][Abstract]
[1997-021] Bestavros, Azer. Proceedings of the 18th Real-Time Systems Symposium WIP Session, December 1, 1997. [PDF][PS][Abstract]
[1997-020] La Cascia, Marco ; Isidoro, John; Sclaroff, Stan. Head Tracking via Robust Registration in Texture Map Images, November 24, 1997. [PDF][PS][Abstract]
[1997-019] Liu, Lifeng; Sclaroff, Stan. Color Region Grouping and Shape Recognition with Deformable Models, November 24, 1997. [PDF][PS][Abstract]
[1997-018] Crovella, Mark; Harchol-Balter, Mor; Murta, Cristina. Task Assignment in a Distributed System: Improving Performance by Unbalancing Load, October 31, 1997. [PDF][PS][Abstract]
[1997-017] Harchol-Balter, Mor; Crovella, Mark; Murta, Cristina. To queue or not to queue?: When FCFS is better than PS in a distributed system, October 31, 1997. [PDF][PS][Abstract]
[1997-016] Bestavros, Azer . Discovering Spatial Locality in WWW Access Patterns using Data Mining of Document Clusters in Server Logs, August 28, 1997. [PDF][PS][Abstract]
[1997-015] Bestavros, Azer ; Katagai, Naomi; Londono, Jorge. Admission Control and Scheduling for High Performance WWW Servers, August 21, 1997. [PDF][PS][Abstract]
[1997-014] Taycher, Leonid ; La Cascia, Marco; Sclaroff, Stan . Image Digestion and Relevance Feedback in the ImageRover WWW Search Engine, August 14, 1997. [PDF][PS][Abstract]
[1997-013] Matta, Ibrahim; Bestavros, Azer. Evaluation of a Load Profiling Approach to Routing Guaranteed Bandwidth Flows, July 30, 1997. [PDF][PS][Abstract]
[1997-012] Yates, David J. ; Almeida, Virgilio ; Almeida, Jussara M. . On the Interaction Between an Operating System and Web Server, July 16, 1997. [PDF][PS][Abstract]
[1997-011] Heddaya, Abdelsalam; Helal, Abdelsalam. Reliability, Availability, Dependability and Performability: A User-centered View, May 15, 1997. [PDF][PS][Abstract]
[1997-010] Nagy, Sue; Bestavros, Azer. Concurrency Admission Control Management in ACCORD, May 15, 1997. [PDF][PS][Abstract]
[1997-009] Bestavros, Azer; Matta, Ibrahim. Load Profiling for Efficient Route Selection in Multi-Class Networks, May 14, 1997. [PDF][PS][Abstract]
[1997-008] Sclaroff, Stan ; Isidoro, John. Active Blobs, May 5, 1997. [PDF][PS][Abstract]
[1997-007] Baruah, Sanjoy; Bestavros, Azer. Real-Time Mutable Broadcast Disks, May 5, 1997. [PDF][PS][Abstract]
[1997-006] Barford, Paul; Crovella, Mark. Generating Representative Web Workloads for Network and Server Performance Evaluation, May 5, 1997 (revised November 4, 1997). [PDF][PS][Abstract]
[1997-005] Sclaroff, Stan; Taycher, Leonid; LaCascia, Marco. ImageRover: A Content-Based Image Browser for the World Wide Web, March 24, 1997. [PDF][PS][Abstract]
[1997-004] Cunha, Carlos R. ; Jaccoud, Carlos F.B.. Determining WWW User's Next Access and Its Application to Pre-fetching, March 24, 1997. [PDF][PS][Abstract]
[1997-003] LoConte, Loredana; Smith, Temple F. . Visible Volume: A Robust Measure for Protein Structure Characterization, March 20, 1997. [PDF][PS][Abstract]
[1997-002] Crovella, Mark; Barford, Paul. The Network Effects of Prefetching, February 7, 1997. [PDF][PS][Abstract]
[1997-001] Bestavros, Azer; Kim, Gitae. Exploiting Redundancy for Timeliness in TCP Boston, January 24, 1997. [PDF][PS][Abstract]
[1996-027] Bestavros, Azer. Proceedings of the 17th Real-Time Systems Symposium WIP Session, December 4, 1996. [PDF][PS][Abstract]
[1996-026] Martin, David M. ; Rajagopalan, Sivaramakrishnan ; Rubin, Aviel D. . Blocking Java Applets at the Firewall, November 14, 1996. [PDF][PS][Abstract]
[1996-025] Almeida, Jussara ; Almeida, Virgilio ; Yates, David . Measuring the Behavior of a World-Wide Web Server, October 29, 1996. [PDF][PS][Abstract]
[1996-024] Heddaya, Abdelsalam ; Mirdad, Sulaiman . WebWave: Globally Load Balanced Fully Distributed Caching of Hot Published Documents, October 10, 1996. [PDF][PS][Abstract]
[1996-023] Baruah, Sanjoy; Bestavros, Azer. Pinwheel Scheduling for Fault-tolerant Broadcast Disks in Real-time Database Systems , August 22, 1996. [PDF][PS][Abstract]
[1996-022] Wells, J.B. . Typability is Undecidable for F+Eta, March 9, 1996. [PDF][PS][Abstract]
[1996-021] Kfoury, A.J.. A Linearization of the Lambda Calculus and Consequences, August 19, 1996. [PDF][PS][Abstract]
[1996-020] Kfoury, A.J.; Stolboushkin, A.P.. An Infinite Pebble Game and Applications, August 15, 1996. [PDF][PS][Abstract]
[1996-019] Kfoury, A.J.. Beta-Reduction as Unification, July 8, 1996. [PDF][PS][Abstract]
[1996-018] Almeida, Virgilio; Almeida, Jussara; Murta, Cristina. Performance Analysis of a WWW Server, August 5, 1996. [PDF][PS][Abstract]
[1996-017] Bestavros, Azer. Load Profiling in Distributed Real-Time Systems, August 1, 1996. [PDF][PS][Abstract]
[1996-016] Park, Kihong; Kim, Gitae; Crovella, Mark. On the relationship between file sizes, transport protocols, and self-similar network traffic, July 30, 1996. [PDF][PS][Abstract]
[1996-015] Park, Kihong. Ergodicity and mixing rate of one-dimensional cellular automata (PhD Thesis), July 22, 1996. [PDF][PS][Abstract]
[1996-014] Bestavros, Azer; Kim, Gitae. TCP Boston: A Fragmentation-tolerant TCP Protocol for ATM Networks, July 15, 1996. [PDF][PS][Abstract]
[1996-013] Bestavros, Azer; Lin, Kwei-Jay; Son, Sang. Real-Time Databases: Issues and Applications (RTDB'96 Workshop Report), July 3, 1996. [PDF][PS][Abstract]
[1996-012] Fahmy, Amr; Heddaya, Abdelsalam. Management of Communicable Memory and Lazy Barriers for Bulk Synchronous Parallelism in BSPk, July 2, 1996. [PDF][PS][Abstract]
[1996-011] Almeida, Virgilio; Bestavros, Azer; Crovella, Mark; deOliveira, Adriana. Characterizing Reference Locality in the WWW, June 21, 1996. [PDF][PS][Abstract]
[1996-010] Panagos, Euthimios. Client-Based Logging: A New Paradigm For Distributed Transaction Management (PhD Thesis), June 13, 1996. [PDF][PS][Abstract]
[1996-009] Hicks, David; Haake, Anja; Durand, David; Vitali, Fabio. Proceedings of the ECSCW'95: Workshop on the Role of Version Control in CSCW Applications, April 26, 1996. [PDF][PS][Abstract]
[1996-008] Bestavros, Azer; Chen, Marina; Crovella, Mark; Heddaya, Abdelsalam; Sclaroff, Stan; Cowie, James. Responsive Web Computing: Resource Management, Protocol Techniques, and Applications (A research statement) , March 21, 1996. [PDF][PS][Abstract]
[1996-007] Carter, Robert; Crovella, Mark. Dynamic Server Selection using Bandwidth Probing in Wide-Area Networks, March 18, 1996. [PDF][PS][Abstract]
[1996-006] Carter, Robert; Crovella, Mark. Measuring Bottleneck Link Speed in Packet-Switched Networks, March 15, 1996. [PDF][PS][Abstract]
[1996-005] Heddaya, Abdelsalam; Sinha, Himanshu. Distributed Parallel Computing in Mermera: Mixing Noncoherent Shared Memories , March 7, 1996. [PDF][PS][Abstract]
[1996-004] Almeida, Virgilio; Oliveira, Adriana. On the Fractal Nature of WWW and Its Application to Cache Modeling, February 5, 1996. [PDF][PS][Abstract]
[1996-003] Bestavros, Azer. Advances in Real-Time Database Systems Research: Special Section on RTDBS of ACM SIGMOD Record 25(1), March 1996., January 15, 1996. [PDF][PS][Abstract]
[1996-002] Bestavros, Azer; Nagy, Sue. An Admission Control Paradigm for Real-Time Databases, January 15, 1996. [PDF][PS][Abstract]
[1996-001] Bestavros, Azer. AIDA-based Real-Time Fault-Tolerant Broadcast Disks, January 5, 1996. [PDF][PS][Abstract]
[1995-019] Wells, J.B.. Title: The Undecidability of Mitchell's Subtyping Relationship, December 10, 1995. [PDF][PS][Abstract]
[1995-018] Gacs, Peter. Deterministic Computations Whose Hisrtory is Independent of the Order of Updating, November 18, 1995. [PDF][PS][Abstract]
[1995-017] Sclaroff, Stan. Deformable Prototypes for Encoding Shape Categories in Image Databases, Sept 12, 1995. [PDF][PS][Abstract]
[1995-016] Sclaroff, Stan. World Wide Web Image Search Engines, May 27, 1995. [PDF][PS][Abstract]
[1995-015] Crovella, Mark; Bestavros, Azer. Explaining World Wide Web Traffic Self-Similarity, August 29, 1995. [PDF][PS][Abstract]
[1995-014] Crovella, Mark; Carter, Robert. Dynamic Server Selection in the Internet, June 30, 1995. [PDF][PS][Abstract]
[1995-013] Bestavros, Azer; Liu, Yueh-Lin. Simulation of Hardware Dynamic Scheduling on the DLX Architecture, June 6, 1995. [PDF][PS][Abstract]
[1995-012] Cai, Patrick; Bestavros, Azer. Object-Oriented Animation on the World Wide Web, May 8, 1995. [PDF][PS][Abstract]
[1995-011] Bestavros, Azer; Cunha, Carlos. A Prefetching Protocol Using Client Speculation for the WWW, May 8, 1995. [PDF][PS][Abstract]
[1995-010] Cunha, Carlos; Bestavros, Azer; Crovella, Mark. Characteristics of WWW Client-based Traces, April 1, 1995 (modified July 18, 1995). [PDF][PS][Abstract]
[1995-009] Gacs, Peter. A New Version of Toom's Proof, March 27, 1995. [PDF][PS][Abstract]
[1995-008] Sclaroff, S.; Pentland, A.P.. Modal Matching for Correspondence and Recognition, March 1995. [PDF][PS][Abstract]
[1995-007] Kfoury, A.J.; Wells, J.B.. Addendum to ``New Notions of Reduction and Non-Semantic Proofs of Beta Strong Normalization in Typed Lambda Calculi'', March 1995. [PDF][PS][Abstract]
[1995-006] Bestavros, Azer. Using Speculation to Reduce Server Load and Service Time on the WWW, February 21, 1995. [PDF][PS][Abstract]
[1995-005] Bestavros, Azer; Braoudakis, Spyridon. Speculative Concurrency Control with Deferred Commitment for Real-Time Databases, February 20, 1995. [PDF][PS][Abstract]
[1995-004] Tiuryn, Jerzy. Equational Axiomatization of Bicoercibility for Polymorphic Types, February 16, 1995. [PDF][PS][Abstract]
[1995-003] Bestavros, Azer. Demand-based Document Dissemination for the World-Wide Web, February 15, 1995. [PDF][PS][Abstract]
[1995-002] Bestavros, Azer; Carter, Robert; Crovella, Mark; Cunha, Carlos; Heddaya, Abdelsalam; Mirdad, Sulaiman. Application-Level Document Caching in the Internet, February 15, 1995. [PDF][PS][Abstract]
[1995-001] Durand, David; Haake, Anja; Hicks, David; Vitali, Fabio. Proceedings of the Workshop on Versioning in Hypertext Systems, February 7, 1995. [PDF][PS][Abstract]
[1994-016] Sclaroff, S.; Pentland, A.P.. Physically-Based Combinations of Views: Representing Rigid and Nonrigid Motion, November, 1994. [PDF][PS][Abstract]
[1994-015] Sclaroff, S.; Pentland, A.P.. Search by Shape Examples: Modeling Nonrigid Deformation , October, 1994. [PDF][PS][Abstract]
[1994-014] Kfoury, A.J.; Wells, J.B.. New Notions of Reduction and Non-Semantic Proofs of Beta-Strong Normalization in Typed Lambda-Calculi , December 19, 1994. [PDF][PS][Abstract]
[1994-013] Oliart, Alberto. An Algorithm for Inferring Quasi-Static Types, November 1994. [PDF][PS][Abstract]
[1994-012] Heddaya, Abdelsalam; Fahmy, Amr. OS Support for Portable Bulk Synchronous Parallel Programs, December 5, 1994. [PDF][PS][Abstract]
[1994-011] Braoudakis, Spyridon. Concurrency Control Protocols for Real-Time Databases (PhD Thesis), November 12, 1994. [PDF][PS][Abstract]
[1994-010] Carter, Robert; Park, Kihong. On the effectiveness of genetic search in combinatorial optimization, November 10, 1994. [PDF][PS][Abstract]
[1994-009] Park, Kihong. A lower-bound result on the power of a genetic algorithm, October 12, 1994. [PDF][PS][Abstract]
[1994-008] Bestavros, Azer. Towards Physically-Correct Specifications of Embedded Real-Time Systems, May 1994. [PDF][PS][Abstract]
[1994-007] Bestavros, Azer; Braoudakis, Spyridon. Timeliness via Speculation for Real-Time Databases, May 1994. [PDF][PS][Abstract]
[1994-006] Kfoury, A.J.; Wells, J.B.. Adding Polymorphic Abstraction to ML (Detailed Abstract), May 1994. [PDF][PS][Abstract]
[1994-005] Shaban, Marwan. Structure Sharing and Parallelization in a GB Parser, March 22, 1994. [PDF][PS][Abstract]
[1994-004] Shaban, Marwan. A Hybrid GLR Algorithm for Parsing with Epsilon Grammars, March 22, 1994. [PDF][PS][Abstract]
[1994-003] Heddaya, Abdelsalam; Park, Kihong. Mapping parallel iterative algorithms onto workstation networks, February 1994. [PDF][PS][Abstract]
[1994-002] Chen, Zhixiang; Homer, Steven. On Learning Counting Functions With Queries , February 1994. [PDF][PS][Abstract]
[1994-001] Homer, Steve; Peinado, Marcus. On the Performance of Polynomial-time CLIQUE Algorithms on Very Large Graphs, January 1994. [PDF][PS][Abstract]
[1993-020] Bestavros, Azer; Makarechian, Mohammad. AIDA-based Distributed File System, December 1993. [PDF][PS][Abstract]
[1993-019] Jahama, Said. Type Reconstruction in the Presence of Polymorphic Recursion and Recursive Types , December 1993. [PDF][PS][Abstract]
[1993-018] Jahama, Said; Kfoury, A.J.. A General Theory of Semi-Unification , December 1993. [PDF][PS][Abstract]
[1993-017] Wells, Joe. A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order Lambda-Calculus , November 1993. [PDF][PS][Abstract]
[1993-016] Kfoury, A.J.; Wymann-Boeni, M.. An Algebraic Characterization of First-Order Definability , November 1993. [PDF][PS][Abstract]
[1993-015] Carter, Robert; Park, Kihong. How good are genetic algorithms at finding large cliques: an experimental , November 1993. [PDF][PS][Abstract]
[1993-014] Bestavros, Azer; Wang, Biao. Multi-version Speculative Concurrency Control with Delayed Commit , October 1993. [PDF][PS][Abstract]
[1993-013] Shaban, Marwan. A Minimal GB Parser , October 1993. [PDF][PS][Abstract]
[1993-012] Bestavros, Azer. Building Responsive Systems from Physically-correct Specifications , October 1993. [PDF][PS][Abstract]
[1993-011] Wells, J.B.. Typability and Type Checking in the Second-Order Lambda-Calculus Are Equivalent and Undecidable , September 1993. [PDF][PS][Abstract]
[1993-010] Chen, Zhixiang; Homer, Steve. Learning Unions of Rectangles with Queries , September 1993. [PDF][PS][Abstract]
[1993-009] Kfoury, A.J.; Wymann-Boeni, M.. A Characterization of First-Order Definable Subsets on Classes of Finite Total Orders , August 1993. [PDF][PS][Abstract]
[1993-008] Kfoury, A.J.; Wymann-Boeni, M.. Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations , August 1993. [PDF][PS][Abstract]
[1993-007] Heddaya, Abdelsalam; Park, Kihong; Sinha, Himanshu. Using Warp to Control Network Contention in Mermera , June 1993. [PDF][PS][Abstract]
[1993-006] Heddaya, Abdelsalam; Sinha, Himanshu. An Implementation of Mermera: A Shared Memory System that Mixes Coherence with Non-coherence , June 1993. [PDF][PS][Abstract]
[1993-005] Sinha, Himanshu. Mermera: Non-coherent Distributed Shared Memory for Parallel Computing (PhD Thesis), May 1993. [PDF][PS][Abstract]
[1993-004] Snyder, Wayne. Proceedings of Sixth International Workshop on Unification , April 1993. [PDF][PS][Abstract]
[1993-003] Shaban, Marwan. Quadsim Student Manual , April 1993. [PDF][PS][Abstract]
[1993-002] Bestavros, Azer. Speculative Concurrency Control for Real-Time Databases, January 1993. [PDF][PS][Abstract]
[1993-001] Bestavros, Azer; Braoudakis, Spyridon; Panagos, Euthimios. Performance Evaluation of Two-Shadow Speculative Concurrency Control, February 1993 . [PDF][PS][Abstract]
Created on: 1994.03.12
Updated on: 2014.11.11
Maintainer: Azer Bestavros