ACM Computing Surveys

2005

Lineage retrieval for scientific data processing: a survey
by: Rajendra Bose, James Frew v. 37 i. 1 p. 1 - 28
Access control in collaborative systems
by: William J. Tolone, Gail-Joon Ahn, Tanusree Pai, Seng-Phil Hong v. 37 i. 1 p. 29 - 41
Optimistic replication
by: Yasushi Saito, Marc Shapiro v. 37 i. 1 p. 42 - 81

2004

Advances in dataflow programming languages
by: Wesley M. Johnston, J. R. Paul Hanna, Richard J. Millar v. 36 i. 1 p. 1 - 34
Image Retrieval from the World Wide Web: Issues, Techniques, and Systems
by: Mohammed Lamine Kherfi, Djemel Ziou, Alan Bernardi v. 36 i. 1 p. 35 - 67
Line drawing, leap years, and Euclid
by: Mitchell A. Harris, Edward M. Reingold v. 36 i. 1 p. 68 - 80
A review of vessel extraction techniques and algorithms
by: Cemil Kirbas, Francis K. H. Quek v. 36 i. 2 p. 81 - 121
Bioinformatics - an introduction for computer scientists
by: Jacques Cohen v. 36 i. 2 p. 122 - 158
Object-based and image-based object representations
by: Hanan Samet v. 36 i. 2 p. 159 - 217
Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view
by: Stefan Pleisch, André Schiper v. 36 i. 3 p. 219 - 262
Inheritance processing and conflicts in structural generalization hierarchies
by: Anna Formica, Michele Missikoff v. 36 i. 3 p. 263 - 290
Replication for web hosting systems
by: Swaminathan Sivasubramanian, Michal Szymaniak, Guillaume Pierre, Maarten van Steen v. 36 i. 3 p. 291 - 334
A survey of peer-to-peer content distribution technologies
by: Stephanos Androutsellis-Theotokis, Diomidis Spinellis v. 36 i. 4 p. 335 - 371
Total order broadcast and multicast algorithms: Taxonomy and survey
by: Xavier Défago, André Schiper, Péter Urbán v. 36 i. 4 p. 372 - 421
Local ratio: A unified framework for approxmation algrithms in memoriam: Shimon Even 1935-2004
by: Reuven Bar-Yehuda, Keren Bendel, Ari Freund, Dror Rawitz v. 36 i. 4 p. 422 - 463

2003

Information technology and economic performance: A critical review of the empirical evidence
by: Jason L. Dedrick, Vijay Gurbaxani, Kenneth L. Kraemer v. 35 i. 1 p. 1 - 28
A survey of processors with explicit multithreading
by: Theo Ungerer, Borut Robic, Jurij Silc v. 35 i. 1 p. 29 - 63
View planning for automated three-dimensional object reconstruction and inspection
by: William R. Scott, Gerhard Roth, Jean-François Rivest v. 35 i. 1 p. 64 - 96
A brief history of just-in-time
by: John Aycock v. 35 i. 2 p. 97 - 113
The many faces of publish/subscribe
by: Patrick Th. Eugster, Pascal Felber, Rachid Guerraoui, Anne-Marie Kermarrec v. 35 i. 2 p. 114 - 131
Requirements interaction management
by: William N. Robinson, Suzanne D. Pawlowski, Vecheslav Volkov v. 35 i. 2 p. 132 - 190
Product metrics for object-oriented systems
by: Sandeep Purao, Vijay K. Vaishnavi v. 35 i. 2 p. 191 - 221
Survey of code-size reduction methods
by: Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy, André Dolenc, Konsta Karsisto v. 35 i. 3 p. 223 - 267
Metaheuristics in combinatorial optimization: Overview and conceptual comparison
by: Christian Blum, Andrea Roli v. 35 i. 3 p. 268 - 308
A survey of key management for secure group communication
by: Sandro Rafaeli, David Hutchison v. 35 i. 3 p. 309 - 329
An analysis of XML database solutions for the management of MPEG-7 media descriptions
by: Utz Westermann, Wolfgang Klas v. 35 i. 4 p. 331 - 373
A survey of Web cache replacement strategies
by: Stefan Podlipnig, László Böszörményi v. 35 i. 4 p. 374 - 398
Face recognition: A literature survey
by: Wen-Yi Zhao, Rama Chellappa, P. J. Phillips, Azriel Rosenfeld v. 35 i. 4 p. 399 - 458

2002

Machine learning in automated text categorization
by: Fabrizio Sebastiani v. 34 i. 1 p. 1 - 47
Building efficient and effective metasearch engines
by: Weiyi Meng, Clement T. Yu, King-Lup Liu v. 34 i. 1 p. 48 - 89
Spoken dialogue technology: enabling the conversational user interface
by: Michael F. McTear v. 34 i. 1 p. 90 - 169
Book Review: Building in Big Brother: The Cryptographic Policy Debate, Lance J. Hoffman
by: William M. Waite v. 34 i. 2 p. 2 - 2
A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systems
by: B. Gupta, S. K. Banerjee v. 34 i. 2 p. 55 - 66
Reconfigurable computing: a survey of systems and software
by: Katherine Compton, Scott Hauck v. 34 i. 2 p. 171 - 210
A survey of methods for recovering quadrics in triangle meshes
by: Sylvain Petitjean v. 34 i. 2 p. 211 - 262
The state of the art in locally distributed Web-server systems
by: Valeria Cardellini, Emiliano Casalicchio, Michele Colajanni, Philip S. Yu v. 34 i. 2 p. 263 - 311
A survey of graph layout problems
by: Josep Díaz, Jordi Petit, Maria J. Serna v. 34 i. 3 p. 313 - 356
Improving TCP performance over mobile networks
by: Hala Elaarag v. 34 i. 3 p. 357 - 374
A survey of rollback-recovery protocols in message-passing systems
by: E. N. Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson v. 34 i. 3 p. 375 - 408
On type systems for object-oriented database programming languages
by: Yuri Leontiev, M. Tamer Özsu, Duane Szafron v. 34 i. 4 p. 409 - 449
A survey of customizability in operating systems research
by: G. Denys, Frank Piessens, Frank Matthijs v. 34 i. 4 p. 450 - 468
A survey of Web metrics
by: Devanshu Dhyani, Wee Keong Ng, Sourav S. Bhowmick v. 34 i. 4 p. 469 - 503
Some facets of complexity theory and cryptography: A five-lecture tutorial
by: Jörg Rothe v. 34 i. 4 p. 504 - 549
Algorithmic issues in modeling motion
by: Pankaj K. Agarwal, Leonidas J. Guibas, Herbert Edelsbrunner, Jeff Erickson, Michael Isard, Sariel Har-Peled, John Hershberger, Christian S. Jensen, Lydia E. Kavraki, Patrice Koehl, Ming C. Lin, Dinesh Manocha, Dimitris N. Metaxas, Brian Mirtich, David M. Mount, S. Muthukrishnan, Dinesh K. Pai, Elisha Sacks, Jack Snoeyink, Subhash Suri, Ouri Wolfson v. 34 i. 4 p. 550 - 572

2001

Efficient reasoning
by: Russell Greiner, Christian Darken, N. Iwan Santoso v. 33 i. 1 p. 1 - 30
A guided tour to approximate string matching
by: Gonzalo Navarro v. 33 i. 1 p. 31 - 88
A software engineering perspective on algorithmics
by: Karsten Weihe v. 33 i. 1 p. 89 - 134
Enhanced operational semantics
by: Pierpaolo Degano, Corrado Priami v. 33 i. 2 p. 135 - 176
Modeling software design diversity
by: Bev Littlewood, Peter T. Popov, Lorenzo Strigini v. 33 i. 2 p. 177 - 208
External memory algorithms and data structures
by: Jeffrey Scott Vitter v. 33 i. 2 p. 209 - 271
Searching in metric spaces
by: Edgar Chávez, Gonzalo Navarro, Ricardo A. Baeza-Yates, José L. Marroquín v. 33 i. 3 p. 273 - 321
Searching in high-dimensional spaces: Index structures for improving the performance of multimedia databases
by: Christian Böhm, Stefan Berchtold, Daniel A. Keim v. 33 i. 3 p. 322 - 373
Complexity and expressive power of logic programming
by: Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov v. 33 i. 3 p. 374 - 425
Group communication specifications: a comprehensive study
by: Gregory Chockler, Idit Keidar, Roman Vitenberg v. 33 i. 4 p. 427 - 469
The state of the art in automating usability evaluation of user interfaces
by: Melody Y. Ivory, Marti A. Hearst v. 33 i. 4 p. 470 - 516
Formalizing the safety of Java, the Java virtual machine, and Java card
by: Pieter H. Hartel, Luc Moreau v. 33 i. 4 p. 517 - 558

2000

Introduction to the computing surveys' electronic symposium on object-oriented application frameworks
by: Mohamed Fayad v. 32 i. 1es p. 1 - 1
Framworks and pattern languages: an intriguing relationship
by: Davide Brugali, Katia P. Sycara v. 32 i. 1es p. 2 - 2
Object-oriented framework-based software development: problems and experiences
by: Jan Bosch, Peter Molin, Michael Mattsson, PerOlof Bengtsson v. 32 i. 1es p. 3 - 3
Enterprise frameworks: guidelines for selection
by: Mohamed Fayad, David S. Hamu v. 32 i. 1es p. 4 - 4
Domain-driven framework layering in large systems
by: Dirk Bäumer, Guido Gryczan, Rolf Knoll, Carola Lilienthal, Dirk Riehle, Heinz Züllighoven v. 32 i. 1es p. 5 - 5
Framelets - small and loosely coupled frameworks
by: Wolfgang Pree, Kai Koskimies v. 32 i. 1es p. 6 - 6
On built-in test reuse in object-oriented framework design
by: Yingxu Wang, Dilip Patel, Graham King, Ian Court, Geoff Staples, Margaret Ross, Mohamed Fayad v. 32 i. 1es p. 7 - 7
On the role of language constructs for framework design
by: Görel Hedin, Jørgen Lindskov Knudsen v. 32 i. 1es p. 8 - 8
Deferring design decisions in an application framework
by: James E. Carey, Brent A. Carlson v. 32 i. 1es p. 9 - 9
Pattern density and role modeling of an object transport service
by: Dirk Riehle, Roger Brudermann, Thomas R. Gross, Kai-Uwe Mätzel v. 32 i. 1es p. 10 - 10
Developing object-oriented framworks using domain models
by: Mehmet Aksit, Francesco Marcelloni, Bedir Tekinerdogan v. 32 i. 1es p. 11 - 11
Framework extraction with domain analysis
by: Giancarlo Succi, Andrea Valerio, Tullio Vernazza, Massimo Fenaroli, Paolo Predonzani v. 32 i. 1es p. 12 - 12
The framework approach for constraint satisfaction
by: Pierre Roy, Anne Liret, François Pachet v. 32 i. 1es p. 13 - 13
Documenting framework behavior
by: Neelam Soundarajan v. 32 i. 1es p. 14 - 14
A framework for framework documentation
by: Gregory Butler, Rudolf K. Keller, Hafedh Mili v. 32 i. 1es p. 15 - 15
Framework description using concern-specific design patterns composition
by: António Rito Silva, Francisco Assis Rosa, Teresa Gonçalves v. 32 i. 1es p. 16 - 16
Choosing an object-oriented domain framework
by: Garry Froehlich, H. James Hoover, Paul G. Sorenson v. 32 i. 1es p. 17 - 17
Evaluating framework architecture structural stability
by: Jagdish Bansiya v. 32 i. 1es p. 18 - 18
An overview of software agent-oriented frameworks
by: Zakaria Maamar, Bernard Moulin v. 32 i. 1es p. 19 - 19
An application framework for intelligent and mobile agents
by: Elizabeth A. Kendall, P. V. Murali Krishna, C. B. Suresh, Chira G. V. Pathak v. 32 i. 1es p. 20 - 20
Towards agent oriented application frameworks
by: Davide Brugali, Katia P. Sycara v. 32 i. 1es p. 21 - 21
An open framework for reliable distributed computing
by: Benoît Garbinato, Rachid Guerraoui v. 32 i. 1es p. 22 - 22
An open system framework for component-based CNC machines
by: John Michaloski, Sushil Birla, C. Jerry Yen, Richard Igou, George Weinert v. 32 i. 1es p. 23 - 23
Towards an open multimedia service framework
by: Lidia Fuentes, José M. Troya v. 32 i. 1es p. 24 - 24
The San Francisco project: business process components and infrastructure
by: Verlyn M. Johnson v. 32 i. 1es p. 25 - 25
A framework architecture for supervision and control systems
by: Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti v. 32 i. 1es p. 26 - 26
A framework for workflow management systems based on objects, rules and roles
by: Gerti Kappel, S. Rausch-Schott, Werner Retschitzegger v. 32 i. 1es p. 27 - 27
Application of frameworks in groupware - the iris group editor environment
by: Michael Koch, Jürgen Koch v. 32 i. 1es p. 28 - 28
A framework for isolating connection expection management
by: Partha Pratim Pal v. 32 i. 1es p. 29 - 29
Navigating between objects. Lessons from an object-oriented framework perspective
by: Gustavo Rossi, Alejandra Garrido, Daniel Schwabe v. 32 i. 1es p. 30 - 30
An object-oriented framework for data parallelism
by: Jean-Marc Jézéquel v. 32 i. 1es p. 31 - 31
PAcceptor and SConnector frameworks: combining concurrency and communication
by: Raman Kannan v. 32 i. 1es p. 32 - 32
HotDoc: a framework for compound documents
by: Jürgen Buchner v. 32 i. 1es p. 33 - 33
Consistent framework documentation with computed links and framework contracts
by: Serge Demeyer, Koen De Hondt, Patrick Steyaert v. 32 i. 1es p. 34 - 34
Experiences and issues with SEMATECH's CIM framework
by: Peter T. Whelan v. 32 i. 1es p. 35 - 35
Experiences with an object oriented framework for distributed control applications
by: Raja Harinath, Jaideep Srivastava, Jim Richardson, Mark Foresti v. 32 i. 1es p. 36 - 36
Adaptive object-oriented filtering framework for event management applications
by: Ehab S. Al-Shaer, Mohamed Fayad, Hussein M. Abdel-Wahab v. 32 i. 1es p. 37 - 37
Experience form the future - using object-orientation concepts for 3D visualization and validation of industrial scenarios
by: Volker Luckas, Ralf Dörner v. 32 i. 1es p. 38 - 38
Developing flexible and high-performance Web servers with frameworks and patterns
by: Douglas C. Schmidt, James C. Hu v. 32 i. 1es p. 39 - 39
The five-module framework for Internet application development
by: Ezra Ebner, Weiguang Shao, Wei-Tek Tsai v. 32 i. 1es p. 40 - 40
Designing an aspect-oriented framework in an object-oriented environment
by: Constantinos Constantinides, Atef Bader, Tzilla Elrad, Paniti Netinant, Mohamed Fayad v. 32 i. 1es p. 41 - 41
Introduction to the computing surveys' electronic symposium on object-oriented application frameworks
by: Mohamed Fayad v. 32 i. 1 p. 1 - 9
Temporal logics for real-time system specification
by: Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi v. 32 i. 1 p. 12 - 42
Programming languages and systems for prototyping concurrent applications
by: Wilhelm Hasselbring v. 32 i. 1 p. 43 - 79
A brief history of cellular automata
by: Palash Sarkar v. 32 i. 1 p. 80 - 107
An updated survey of GA-based multiobjective optimization techniques
by: Carlos A. Coello Coello v. 32 i. 2 p. 109 - 143
Information retrieval on the web
by: Mei Kobayashi, Koichi Takeda v. 32 i. 2 p. 144 - 173
Data prefetch mechanisms
by: Steven P. Vanderwiel, David J. Lilja v. 32 i. 2 p. 174 - 199
Electronic document addressing: dealing with change
by: Helen Ashman v. 32 i. 3 p. 201 - 212
Techniques for obtaining high performance in Java programs
by: Iffat H. Kazi, Howard H. Chen, Berdenia Stanley, David J. Lilja v. 32 i. 3 p. 213 - 240
Process migration
by: Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou v. 32 i. 3 p. 241 - 299
An introduction to quantum computing for non-physicists
by: Eleanor G. Rieffel, Wolfgang Polak v. 32 i. 3 p. 300 - 335
Logical models of argument
by: Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui v. 32 i. 4 p. 337 - 383
Extracting usability information from user interface events
by: David M. Hilbert, David F. Redmiles v. 32 i. 4 p. 384 - 421
The State of the art in distributed query processing
by: Donald Kossmann v. 32 i. 4 p. 422 - 469

1999

Introducion to the Electronic Symposium on Computer-Supported Cooperative Work
by: Kevin L. Mills v. 31 i. 2es p. 1 - 1
Computing Surveys' electronic symposium on hypertext and hypermedia: editorial
by: Helen Ashman, Rosemary Michelle Simpson v. 31 i. 4es p. 1 - 1
Hypermedia research directions: an infrastructure perspective
by: Uffe Kock Wiil, Peter J. Nürnberg, John J. Leggett v. 31 i. 4es p. 2 - 2
Network Design and Improvement
by: Hartmut Noltemeier, Hans-Christoph Wirth, Sven Oliver Krumke v. 31 i. 3es p. 2 - 2
MASH: Enabling Scalable Multipoint Collaboration
by: Steven McCanne, Eric A. Brewer, Randy H. Katz, Elan Amir, Yatin Chawathe, Todd D. Hodes, Ketan Mayer-Patel, Suchitra Raman, Cynthia Romer, Angela Schuett, Andrew Swan, Teck-Lee Tung, Tina Wong, Kristin Wright v. 31 i. 2es p. 2 - 2
Applying hypertext and hypermedia to scholarly journals enables both product and process innovation
by: Andrew E. Treloar v. 31 i. 4es p. 3 - 3
Semantic Multicast: Intelligently Sharing Collaborative Sessions
by: Son Dao, Eddie C. Shek, Asha Vellaikal, Richard R. Muntz, Lixia Zhang, Miodrag Potkonjak, Ouri Wolfson v. 31 i. 2es p. 3 - 3
Algorithm Engineering
by: Giuseppe Cattaneo, Giuseppe F. Italiano v. 31 i. 3es p. 3 - 3
On-line Algorithms
by: Susanne Albers, Stefano Leonardi v. 31 i. 3es p. 4 - 4
DISCIPLE: A Framework for Multimodal Collaboration in Heterogeneous Environments
by: Ivan Marsic v. 31 i. 2es p. 4 - 4
Semantically indexed hypermedia: linking information disciplines
by: Douglas Tudhope, Daniel Cunliffe v. 31 i. 4es p. 4 - 4
Program Analysis Games
by: Chris Hankin, Pasquale Malacaria v. 31 i. 3es p. 5 - 5
Orbit/Virtue: Collaboration and Visualization Toolkits
by: Daniel A. Reed, Simon M. Kaplan v. 31 i. 2es p. 5 - 5
Hubs, authorities, and communities
by: Jon M. Kleinberg v. 31 i. 4es p. 5 - 5
Creation and Performance Analysis of User Representations in Collaborative Virtual Environments
by: Kevin Martin v. 31 i. 2es p. 6 - 6
Directions for Research in Approximate System Analysis
by: Patrick Cousot v. 31 i. 3es p. 6 - 6
Information visualization for hypermedia systems
by: Sougata Mukherjea v. 31 i. 4es p. 6 - 6
Flexible CASE and hypertext
by: Harri Oinas-Kukkonen v. 31 i. 4es p. 7 - 7
Rough'n'Ready: A Meeting Recorder and Browser
by: Francis Kubala, Sean Colbath, Daben Liu, John Makhoul v. 31 i. 2es p. 7 - 7
Let's Evaluate Performance Algebraically
by: Marco Bernardo v. 31 i. 3es p. 7 - 7
Some Constributions of the Study of Abstract Communication Complexity to Other Areas of Computer Science
by: Juraj Hromkovic v. 31 i. 3es p. 8 - 8
Developing hypermedia applications with methods and patterns
by: Gustavo Rossi, Fernando Lyardet, Daniel Schwabe v. 31 i. 4es p. 8 - 8
Dynamic Collaborator Discovery in Information Intensive Environments
by: David W. Payton, Mike Daily, Kevin Martin v. 31 i. 2es p. 8 - 8
The evolution of hypertext link services
by: Les Carr, Wendy Hall, David De Roure v. 31 i. 4es p. 9 - 9
Informedia Experience-on-Demand: Capturing, Integrating and Communicating Experiences across People, Time and Space
by: Howard D. Wactlar, Michael G. Christel, Alexander G. Hauptmann, Yihong Gong v. 31 i. 2es p. 9 - 9
Graphical Represenation and Graph Transformation
by: Hartmut Ehrig, Gabriele Taentzer v. 31 i. 3es p. 9 - 9
Task-Based Information Management
by: Michael Wolverton v. 31 i. 2es p. 10 - 10
Algebraic Methods for Specification and Formal Development of Programs
by: Donald Sannella, Andrzej Tarlecki v. 31 i. 3es p. 10 - 10
The significance of linking
by: Paul H. Lewis, Wendy Hall, Les Carr, David De Roure v. 31 i. 4es p. 10 - 10
Interface Issues in Computer Support for Asynchronous Communication
by: James H. Morris, Christine Neuwirth, Susan Harkness Regli, Ravinder Chandhok, Geoffrey C. Wenger v. 31 i. 2es p. 11 - 11
Foundational Aspects of Syntax
by: Dale Miller, Catuscia Palamidessi v. 31 i. 3es p. 11 - 11
Where have you been from here? Trials in hypertext systems
by: Siegfried Reich, Les Carr, David De Roure, Wendy Hall v. 31 i. 4es p. 11 - 11
Adaptive hypermedia: from systems to framework
by: Paul De Bra, Peter Brusilovsky, Geert-Jan Houben v. 31 i. 4es p. 12 - 12
Integration of Synchronous and Asynchronous Collaboration Activities
by: Larry S. Jackson, Ed Grossman v. 31 i. 2es p. 12 - 12
Extending Formal Language Hierarchies to Higher Dimensions
by: Dora Giammarresi, Antonio Restivo v. 31 i. 3es p. 12 - 12
Integrating content search with structure analysis for hypermedia retrieval and management
by: Wen-Syan Li, K. Selçuk Candan v. 31 i. 4es p. 13 - 13
Operational Methods in Theoretical Computer Science
by: Corrado Priami v. 31 i. 3es p. 13 - 13
Consistency Management for Distributed Collaboration
by: Jonathan Rees, Sarah Ferguson, Sankar Virdhagriswaran v. 31 i. 2es p. 13 - 13
Semantics Study and Reality of Computing
by: Kohei Honda v. 31 i. 3es p. 14 - 14
Intermediary Architecture: Interposing Middleware Object Services between Web Client and Server
by: Craig W. Thompson, Paul Pazandak, Venu Vasudevan, Frank Manola, Mark Palmer, Gil Hansen, Thomas J. Bannon v. 31 i. 2es p. 14 - 14
Spatial hypertext: an alternative to navigational and semantic links
by: Frank M. Shipman III, Catherine C. Marshall v. 31 i. 4es p. 14 - 14
Evaluation for Collaborative Systems
by: Laurie E. Damianos, Lynette Hirschman, Robyn Kozierok, Jeffrey L. Kurtz, Andrew Greenberg, Kimberley Walls, Sharon J. Laskowski, Jean Scholtz v. 31 i. 2es p. 15 - 15
How to Simulate Free Will in a Computational Device
by: Rusins Freivalds v. 31 i. 3es p. 15 - 15
Dynamic hypertext: querying and linking
by: Richard C. Bodner, Mark H. Chignell v. 31 i. 4es p. 15 - 15
Functional link typing in hypertext
by: Richard W. Kopak v. 31 i. 4es p. 16 - 16
Simulating the Mind: A Gaunlet Thrown to Computer Science
by: Jirí Wiedermann v. 31 i. 3es p. 16 - 16
Re-Configurable Distributed Scripting
by: M. Ranganathan, Laurent Andrey, Virginie Schaal, Jean Philippe Favreau v. 31 i. 2es p. 16 - 16
Recent results in automatic Web resource discovery
by: Soumen Chakrabarti v. 31 i. 4es p. 17 - 17
The MITRE Multi-Modal Logger: Its Use in Evaluation of Collaborative Systems
by: Samuel Bayer, Laurie E. Damianos, Robyn Kozierok, James Mokwa v. 31 i. 2es p. 17 - 17
Inter-linker consistency in the manual construction of hypertext documents
by: Jonathan Furner, David Ellis, Peter Willett v. 31 i. 4es p. 18 - 18
The MITRE Map Navigation Experiment
by: Jeffrey L. Kurtz, Laurie E. Damianos, Robyn Kozierok, Lynette Hirschman v. 31 i. 2es p. 18 - 18
Structural patterns and hypertext rhetoric
by: Mark Bernstein v. 31 i. 4es p. 19 - 19
Supporting software engineering with open hypermedia
by: Kenneth M. Anderson v. 31 i. 4es p. 20 - 20
XML linking
by: Steven J. DeRose v. 31 i. 4es p. 21 - 21
Lexical semantics and automatic hypertext construction
by: Stephen J. Green v. 31 i. 4es p. 22 - 22
Hypermedia: the link with time
by: Lynda Hardman, Jacco van Ossenbruggen, Lloyd Rutledge, Dick C. A. Bulterman v. 31 i. 4es p. 23 - 23
Versioning hypermedia
by: Fabio Vitali v. 31 i. 4es p. 24 - 24
Three dimensional visualization of the World Wide Web
by: Steve Benford, Ian Taylor, David F. Brailsford, Boriana Koleva, Michael P. Craven, Mike Fraser, Gail Reynard, Chris Greenhalgh v. 31 i. 4es p. 25 - 25
Quantitative evidence for differences between learners making use of passive hypermedia learning environments
by: Megan Quentin-Baxter v. 31 i. 4es p. 26 - 26
Automatic link generation
by: Ross Wilkinson, Alan F. Smeaton v. 31 i. 4es p. 27 - 27
Hypertext link integrity
by: Hugh C. Davis v. 31 i. 4es p. 28 - 28
Hypermedia: a design philosophy
by: Michael Bieber, Joonhee Yoo v. 31 i. 4es p. 29 - 29
Separable hyperstructure and delayed link binding
by: David F. Brailsford v. 31 i. 4es p. 30 - 30
Hypermedia on the Web: what will it take?
by: Fabio Vitali, Michael Bieber v. 31 i. 4es p. 31 - 31
Hypertext functionality
by: Michael Bieber, Harri Oinas-Kukkonen, Venkatraman Balasubramanian v. 31 i. 4es p. 32 - 32
Xanalogical structure, needed now more than ever: parallel documents, deep links to content, deep versioning, and deep re-use
by: Theodor Holm Nelson v. 31 i. 4es p. 33 - 33
Unlinking the link
by: Janet Verbyla v. 31 i. 4es p. 34 - 34
Hypertext in the Web - a history
by: Robert Cailliau, Helen Ashman v. 31 i. 4es p. 35 - 35
Education: the unfinished revolution
by: Andries van Dam v. 31 i. 4es p. 36 - 36
The unfinished revolution and Xanadu
by: Theodor Holm Nelson v. 31 i. 4es p. 37 - 37
Bootstrapping our collective intelligence
by: Douglas C. Engelbart, Jeff Ruilifson v. 31 i. 4es p. 38 - 38
Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments
by: Felix C. Gärtner v. 31 i. 1 p. 1 - 26
Deductive Database Languages: Problems and Solutions
by: Mengchi Liu v. 31 i. 1 p. 27 - 62
Active Database Systems
by: Norman W. Paton, Oscar Díaz v. 31 i. 1 p. 63 - 103
Introduction to the Electronic Symposium on Computer-Supported Cooperative Work
by: Kevin L. Mills v. 31 i. 2 p. 105 - 115
Client-Server Computing in Mobile Environments
by: Jin Jing, Abdelsalam Helal, Ahmed K. Elmagarmid v. 31 i. 2 p. 117 - 157
Comparison of Access Methods for Time-Evolving Data
by: Betty Salzberg, Vassilis J. Tsotras v. 31 i. 2 p. 158 - 221
Computing Surveys' Electronic Symposium on the Theory of Computation
by: Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner v. 31 i. 3 p. 223 - 226
Tools and Approaches for Developing Data-Intensive Web Applications: A Survey
by: Piero Fraternali v. 31 i. 3 p. 227 - 263
Data Clustering: A Review
by: Anil K. Jain, M. Narasimha Murty, Patrick J. Flynn v. 31 i. 3 p. 264 - 323
Computing surveys' electronic symposium on hypertext and hypermedia: editorial
by: Helen Ashman, Rosemary Michelle Simpson v. 31 i. 4 p. 325 - 334
A tutorial on default logics
by: Grigoris Antoniou v. 31 i. 4 p. 337 - 359
The transport layer: tutorial and survey
by: Sami Iren, Paul D. Amer, Phillip T. Conrad v. 31 i. 4 p. 360 - 404
Static scheduling algorithms for allocating directed task graphs to multiprocessors
by: Yu-Kwong Kwok, Ishfaq Ahmad v. 31 i. 4 p. 406 - 471

1998

Logical-Framework-Based Program Development
by: David A. Basin v. 30 i. 3es p. 1 - 1
Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation
by: John Field, Jan Heering, T. B. Dinesh v. 30 i. 3es p. 2 - 2
Program Specialization vs. Program Composition
by: Andrei V. Klimov v. 30 i. 3es p. 3 - 3
Some Achievements and Prospects in Partial Deduction
by: Michael Leuschel, Bern Martens, Danny De Schreye v. 30 i. 3es p. 4 - 4
Inherited Limits
by: Torben Æ. Mogensen v. 30 i. 3es p. 5 - 5
Program Specialization via Algorithmic Unfold/Fold Transformations
by: Alberto Pettorossi, Maurizio Proietti v. 30 i. 3es p. 6 - 6
Program Transformation in Calculational Form
by: Akihiko Takano, Zhenjiang Hu, Masato Takeichi v. 30 i. 3es p. 7 - 7
Modal Types as Staging Specifications for Run-Time Code Generation
by: Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies v. 30 i. 3es p. 8 - 8
A Unifying View of Functional and Logic Program Specialization
by: María Alpuente, Moreno Falaschi, Germán Vidal v. 30 i. 3es p. 9 - 9
Optimizing Modular Logic Languages
by: Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello v. 30 i. 3es p. 10 - 10
Partial Evaluation of Concurrent Constraint Languages
by: Sandro Etalle, Maurizio Gabbrielli v. 30 i. 3es p. 11 - 11
The Role of Trace Abstractions in Program Specialization Algorithms
by: John P. Gallagher, Laura Lafave v. 30 i. 3es p. 12 - 12
Foundations for Partial Evaluation of Functional Programs with Computational Effects
by: John Hatcliff v. 30 i. 3es p. 13 - 13
Type Specialization
by: John Hughes v. 30 i. 3es p. 14 - 14
Extending the Power of Automatic Constraint-Based Partial Evaluators
by: Laura Lafave, John P. Gallagher v. 30 i. 3es p. 15 - 15
Extending Partial Deduction to Tabled Execution: Some Results and Open Issues
by: Konstantinos F. Sagonas, Michael Leuschel v. 30 i. 3es p. 16 - 16
Partial Evaluation for Program Comprehension
by: Sandrine Blazy, Philippe Facon v. 30 i. 3es p. 17 - 17
Synthesis of an Efficient Tactical Theorem Prover for the Game of Go
by: Tristan Cazenave v. 30 i. 3es p. 18 - 18
Tempo: Specializing Systems applications and Beyond
by: Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi v. 30 i. 3es p. 19 - 19
Partial Evaluation for Software Engineering
by: Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi v. 30 i. 3es p. 20 - 20
Partial Evaluation for Media Processing
by: Scott Draves v. 30 i. 3es p. 21 - 21
Using Partial Evaluation to Enable Verification of Concurrent Software
by: Matthew B. Dwyer, John Hatcliff, Muhammad Nanda v. 30 i. 3es p. 22 - 22
Dynamic Specialization in the Fabius System
by: Mark Leone, Peter Lee v. 30 i. 3es p. 23 - 23
Visualizing Partial Evaluation
by: Oscar Waddell, R. Kent Dybvig v. 30 i. 3es p. 24 - 24
Frameworks for Component-Based Client/Server Computing
by: Scott M. Lewandowski v. 30 i. 1 p. 3 - 27
Competitive Solutions for Online Financial Prob
by: Ran El-Yaniv v. 30 i. 1 p. 28 - 69
Concurrency Control: Methods, Performance, and Analysis
by: Alexander Thomasian v. 30 i. 1 p. 70 - 119
Models and Languages for Parallel Computation
by: David B. Skillicorn, Domenico Talia v. 30 i. 2 p. 123 - 169
Multidimensional Access Methods
by: Volker Gaede, Oliver Günther v. 30 i. 2 p. 170 - 231
Version Models for Software Configuration Management
by: Reidar Conradi, Bernhard Westfechtel v. 30 i. 2 p. 232 - 282
Editorial
by: Peter Wegner v. 30 i. 3 p. 284 - 284
1998 Symposium on Partial Evaluation
by: Olivier Danvy, Robert Glück, Peter Thiemann v. 30 i. 3 p. 285 - 290
Concurrency and Distribution in Object-Oriented Programming
by: Jean-Pierre Briot, Rachid Guerraoui, Klaus-Peter Löhr v. 30 i. 3 p. 291 - 329
Garbage Collecting the Internet: A Survey of Distributed Garbage Collection
by: Saleh E. Abdullahi, Graem A. Ringwood v. 30 i. 3 p. 330 - 373
Wormhole Routing Techniques for Directly Connected Multicomputer Systems
by: Prasant Mohapatra v. 30 i. 3 p. 374 - 410
Efficient Algorithms for Geometric Optimization
by: Pankaj K. Agarwal, Micha Sharir v. 30 i. 4 p. 412 - 458
A Survey of Structured and Object-Oriented Software Specification Methods and Techniques
by: Roel Wieringa v. 30 i. 4 p. 459 - 527
``Is This Document Relevant? ... Probably'': A Survey of Probabilistic Models in Information Retrieval
by: Fabio Crestani, Mounia Lalmas, C. J. van Rijsbergen, Iain Campbell v. 30 i. 4 p. 528 - 552

1997

Trace-Driven Memory Simulation: A Survey
by: Richard Uhlig, Trevor N. Mudge v. 29 i. 2 p. 128 - 170
A Survey of Approximately Optimal Solutions to Some Covering and Packing Problems
by: Vangelis Th. Paschos v. 29 i. 2 p. 171 - 209
Programming Languages for Mobile Code
by: Tommy Thorne v. 29 i. 3 p. 213 - 239
How to Declare an Imperative
by: Philip Wadler v. 29 i. 3 p. 240 - 263
Machine Interpretation of CAD Data for Manufacturing Applications
by: Qiang Ji, Michael M. Marefat v. 29 i. 3 p. 264 - 311
Classification of Research Efforts in Requirements Engineering
by: Pamela Zave v. 29 i. 4 p. 315 - 321
Is Computer Science Education in Crisis?
by: Hyacinth S. Nwana v. 29 i. 4 p. 322 - 324
Texture Mapping 3D Models of Real-World Scenes
by: Frederick M. Weinhaus, Venkat Devarajan v. 29 i. 4 p. 325 - 365
Software Unit Test Coverage and Adequacy
by: Hong Zhu, Patrick A. V. Hall, John H. R. May v. 29 i. 4 p. 366 - 427

1996

Undirected Behavior Without Unbounded Search
by: Ronald J. Brachman, Hector J. Levesque v. 28 i. 4es p. 1 - 1
Integrating Theory and Practice in Planning
by: Thomas Dean v. 28 i. 4es p. 2 - 2
Machine Learning
by: Thomas G. Dietterich v. 28 i. 4es p. 3 - 3
Cleaving (Unto) Artificial Intelligence
by: Jon Doyle v. 28 i. 4es p. 4 - 4
Formality Helps Scalability and Robustness
by: C. Cordell Green v. 28 i. 4es p. 5 - 5
The Importance of Integration for AI
by: Barbara J. Grosz v. 28 i. 4es p. 6 - 6
Integrated Systems and Naturalistic Tasks
by: Ian Horswill v. 28 i. 4es p. 7 - 7
Structured Representations and Intractability
by: Daphne Koller v. 28 i. 4es p. 8 - 8
Language, Computation and Artificial Intelligence
by: Fernando C. N. Pereira v. 28 i. 4es p. 9 - 9
Computational Challenges in Artificial Intelligence
by: Bart Selman v. 28 i. 4es p. 10 - 10
The Open Scientific Borders of AI, and the Case of Economics
by: Yoav Shoham v. 28 i. 4es p. 11 - 11
Two Challenging Domains
by: Howard E. Shrobe v. 28 i. 4es p. 12 - 12
Future Directions in Knowledge-Based Systems
by: William R. Swartout v. 28 i. 4es p. 13 - 13
The Economic Approach to Artificial Intelligence
by: Michael P. Wellman v. 28 i. 4es p. 14 - 14
Resource-Bounded Reasoning in Intelligent Systems
by: Shlomo Zilberstein v. 28 i. 4es p. 15 - 15
Simple and Practical Geometric Algorithms
by: Pankaj K. Agarwal, Subhash Suri v. 28 i. 4es p. 16 - 16
Equipping CAD/CAM Systems with Geometric Intelligence
by: Nancy M. Amato v. 28 i. 4es p. 17 - 17
Developing Algorithms and Software for Geometric Path Planning Problems
by: Danny Z. Chen v. 28 i. 4es p. 18 - 18
Graph Drawing and Information Visualization
by: Ioannis G. Tollis v. 28 i. 4es p. 19 - 19
Communication Issues in Large-Scale Geometric Computation
by: Jeffrey Scott Vitter v. 28 i. 4es p. 20 - 20
Large-Scope Computing: The Industrial Challenges
by: George Cybenko v. 28 i. 4es p. 21 - 21
Challenges in Computational Science
by: Malvin Kalos v. 28 i. 4es