ACM Computing Surveys
2005
- Lineage retrieval for scientific data processing: a surveyby: Rajendra Bose, James Frew v. 37 i. 1 p. 1 - 28
- Access control in collaborative systemsby: William J. Tolone, Gail-Joon Ahn, Tanusree Pai, Seng-Phil Hong v. 37 i. 1 p. 29 - 41
- Optimistic replicationby: Yasushi Saito, Marc Shapiro v. 37 i. 1 p. 42 - 81
- Advances in dataflow programming languagesby: 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 Systemsby: Mohammed Lamine Kherfi, Djemel Ziou, Alan Bernardi v. 36 i. 1 p. 35 - 67
- Line drawing, leap years, and Euclidby: Mitchell A. Harris, Edward M. Reingold v. 36 i. 1 p. 68 - 80
- A review of vessel extraction techniques and algorithmsby: Cemil Kirbas, Francis K. H. Quek v. 36 i. 2 p. 81 - 121
- Bioinformatics - an introduction for computer scientistsby: Jacques Cohen v. 36 i. 2 p. 122 - 158
- Object-based and image-based object representationsby: Hanan Samet v. 36 i. 2 p. 159 - 217
- Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic viewby: Stefan Pleisch, André Schiper v. 36 i. 3 p. 219 - 262
- Inheritance processing and conflicts in structural generalization hierarchiesby: Anna Formica, Michele Missikoff v. 36 i. 3 p. 263 - 290
- Replication for web hosting systemsby: Swaminathan Sivasubramanian, Michal Szymaniak, Guillaume Pierre, Maarten van Steen v. 36 i. 3 p. 291 - 334
- A survey of peer-to-peer content distribution technologiesby: Stephanos Androutsellis-Theotokis, Diomidis Spinellis v. 36 i. 4 p. 335 - 371
- Total order broadcast and multicast algorithms: Taxonomy and surveyby: 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-2004by: Reuven Bar-Yehuda, Keren Bendel, Ari Freund, Dror Rawitz v. 36 i. 4 p. 422 - 463
- Information technology and economic performance: A critical review of the empirical evidenceby: Jason L. Dedrick, Vijay Gurbaxani, Kenneth L. Kraemer v. 35 i. 1 p. 1 - 28
- A survey of processors with explicit multithreadingby: Theo Ungerer, Borut Robic, Jurij Silc v. 35 i. 1 p. 29 - 63
- View planning for automated three-dimensional object reconstruction and inspectionby: William R. Scott, Gerhard Roth, Jean-François Rivest v. 35 i. 1 p. 64 - 96
- A brief history of just-in-timeby: John Aycock v. 35 i. 2 p. 97 - 113
- The many faces of publish/subscribeby: Patrick Th. Eugster, Pascal Felber, Rachid Guerraoui, Anne-Marie Kermarrec v. 35 i. 2 p. 114 - 131
- Requirements interaction managementby: William N. Robinson, Suzanne D. Pawlowski, Vecheslav Volkov v. 35 i. 2 p. 132 - 190
- Product metrics for object-oriented systemsby: Sandeep Purao, Vijay K. Vaishnavi v. 35 i. 2 p. 191 - 221
- Survey of code-size reduction methodsby: Á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 comparisonby: Christian Blum, Andrea Roli v. 35 i. 3 p. 268 - 308
- A survey of key management for secure group communicationby: Sandro Rafaeli, David Hutchison v. 35 i. 3 p. 309 - 329
- An analysis of XML database solutions for the management of MPEG-7 media descriptionsby: Utz Westermann, Wolfgang Klas v. 35 i. 4 p. 331 - 373
- A survey of Web cache replacement strategiesby: Stefan Podlipnig, László Böszörményi v. 35 i. 4 p. 374 - 398
- Face recognition: A literature surveyby: Wen-Yi Zhao, Rama Chellappa, P. J. Phillips, Azriel Rosenfeld v. 35 i. 4 p. 399 - 458
- Machine learning in automated text categorizationby: Fabrizio Sebastiani v. 34 i. 1 p. 1 - 47
- Building efficient and effective metasearch enginesby: Weiyi Meng, Clement T. Yu, King-Lup Liu v. 34 i. 1 p. 48 - 89
- Spoken dialogue technology: enabling the conversational user interfaceby: Michael F. McTear v. 34 i. 1 p. 90 - 169
- Book Review: Building in Big Brother: The Cryptographic Policy Debate, Lance J. Hoffmanby: William M. Waite v. 34 i. 2 p. 2 - 2
- A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systemsby: B. Gupta, S. K. Banerjee v. 34 i. 2 p. 55 - 66
- Reconfigurable computing: a survey of systems and softwareby: Katherine Compton, Scott Hauck v. 34 i. 2 p. 171 - 210
- A survey of methods for recovering quadrics in triangle meshesby: Sylvain Petitjean v. 34 i. 2 p. 211 - 262
- The state of the art in locally distributed Web-server systemsby: Valeria Cardellini, Emiliano Casalicchio, Michele Colajanni, Philip S. Yu v. 34 i. 2 p. 263 - 311
- A survey of graph layout problemsby: Josep Díaz, Jordi Petit, Maria J. Serna v. 34 i. 3 p. 313 - 356
- Improving TCP performance over mobile networksby: Hala Elaarag v. 34 i. 3 p. 357 - 374
- A survey of rollback-recovery protocols in message-passing systemsby: 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 languagesby: Yuri Leontiev, M. Tamer Özsu, Duane Szafron v. 34 i. 4 p. 409 - 449
- A survey of customizability in operating systems researchby: G. Denys, Frank Piessens, Frank Matthijs v. 34 i. 4 p. 450 - 468
- A survey of Web metricsby: 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 tutorialby: Jörg Rothe v. 34 i. 4 p. 504 - 549
- Algorithmic issues in modeling motionby: 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
- Efficient reasoningby: Russell Greiner, Christian Darken, N. Iwan Santoso v. 33 i. 1 p. 1 - 30
- A guided tour to approximate string matchingby: Gonzalo Navarro v. 33 i. 1 p. 31 - 88
- A software engineering perspective on algorithmicsby: Karsten Weihe v. 33 i. 1 p. 89 - 134
- Enhanced operational semanticsby: Pierpaolo Degano, Corrado Priami v. 33 i. 2 p. 135 - 176
- Modeling software design diversityby: Bev Littlewood, Peter T. Popov, Lorenzo Strigini v. 33 i. 2 p. 177 - 208
- External memory algorithms and data structuresby: Jeffrey Scott Vitter v. 33 i. 2 p. 209 - 271
- Searching in metric spacesby: 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 databasesby: Christian Böhm, Stefan Berchtold, Daniel A. Keim v. 33 i. 3 p. 322 - 373
- Complexity and expressive power of logic programmingby: Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov v. 33 i. 3 p. 374 - 425
- Group communication specifications: a comprehensive studyby: Gregory Chockler, Idit Keidar, Roman Vitenberg v. 33 i. 4 p. 427 - 469
- The state of the art in automating usability evaluation of user interfacesby: Melody Y. Ivory, Marti A. Hearst v. 33 i. 4 p. 470 - 516
- Formalizing the safety of Java, the Java virtual machine, and Java cardby: Pieter H. Hartel, Luc Moreau v. 33 i. 4 p. 517 - 558
- Introduction to the computing surveys' electronic symposium on object-oriented application frameworksby: Mohamed Fayad v. 32 i. 1es p. 1 - 1
- Framworks and pattern languages: an intriguing relationshipby: Davide Brugali, Katia P. Sycara v. 32 i. 1es p. 2 - 2
- Object-oriented framework-based software development: problems and experiencesby: Jan Bosch, Peter Molin, Michael Mattsson, PerOlof Bengtsson v. 32 i. 1es p. 3 - 3
- Enterprise frameworks: guidelines for selectionby: Mohamed Fayad, David S. Hamu v. 32 i. 1es p. 4 - 4
- Domain-driven framework layering in large systemsby: 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 frameworksby: Wolfgang Pree, Kai Koskimies v. 32 i. 1es p. 6 - 6
- On built-in test reuse in object-oriented framework designby: 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 designby: Görel Hedin, Jørgen Lindskov Knudsen v. 32 i. 1es p. 8 - 8
- Deferring design decisions in an application frameworkby: James E. Carey, Brent A. Carlson v. 32 i. 1es p. 9 - 9
- Pattern density and role modeling of an object transport serviceby: Dirk Riehle, Roger Brudermann, Thomas R. Gross, Kai-Uwe Mätzel v. 32 i. 1es p. 10 - 10
- Developing object-oriented framworks using domain modelsby: Mehmet Aksit, Francesco Marcelloni, Bedir Tekinerdogan v. 32 i. 1es p. 11 - 11
- Framework extraction with domain analysisby: Giancarlo Succi, Andrea Valerio, Tullio Vernazza, Massimo Fenaroli, Paolo Predonzani v. 32 i. 1es p. 12 - 12
- The framework approach for constraint satisfactionby: Pierre Roy, Anne Liret, François Pachet v. 32 i. 1es p. 13 - 13
- Documenting framework behaviorby: Neelam Soundarajan v. 32 i. 1es p. 14 - 14
- A framework for framework documentationby: Gregory Butler, Rudolf K. Keller, Hafedh Mili v. 32 i. 1es p. 15 - 15
- Framework description using concern-specific design patterns compositionby: António Rito Silva, Francisco Assis Rosa, Teresa Gonçalves v. 32 i. 1es p. 16 - 16
- Choosing an object-oriented domain frameworkby: Garry Froehlich, H. James Hoover, Paul G. Sorenson v. 32 i. 1es p. 17 - 17
- Evaluating framework architecture structural stabilityby: Jagdish Bansiya v. 32 i. 1es p. 18 - 18
- An overview of software agent-oriented frameworksby: Zakaria Maamar, Bernard Moulin v. 32 i. 1es p. 19 - 19
- An application framework for intelligent and mobile agentsby: 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 frameworksby: Davide Brugali, Katia P. Sycara v. 32 i. 1es p. 21 - 21
- An open framework for reliable distributed computingby: Benoît Garbinato, Rachid Guerraoui v. 32 i. 1es p. 22 - 22
- An open system framework for component-based CNC machinesby: John Michaloski, Sushil Birla, C. Jerry Yen, Richard Igou, George Weinert v. 32 i. 1es p. 23 - 23
- Towards an open multimedia service frameworkby: Lidia Fuentes, José M. Troya v. 32 i. 1es p. 24 - 24
- The San Francisco project: business process components and infrastructureby: Verlyn M. Johnson v. 32 i. 1es p. 25 - 25
- A framework architecture for supervision and control systemsby: 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 rolesby: Gerti Kappel, S. Rausch-Schott, Werner Retschitzegger v. 32 i. 1es p. 27 - 27
- Application of frameworks in groupware - the iris group editor environmentby: Michael Koch, Jürgen Koch v. 32 i. 1es p. 28 - 28
- A framework for isolating connection expection managementby: Partha Pratim Pal v. 32 i. 1es p. 29 - 29
- Navigating between objects. Lessons from an object-oriented framework perspectiveby: Gustavo Rossi, Alejandra Garrido, Daniel Schwabe v. 32 i. 1es p. 30 - 30
- An object-oriented framework for data parallelismby: Jean-Marc Jézéquel v. 32 i. 1es p. 31 - 31
- PAcceptor and SConnector frameworks: combining concurrency and communicationby: Raman Kannan v. 32 i. 1es p. 32 - 32
- HotDoc: a framework for compound documentsby: Jürgen Buchner v. 32 i. 1es p. 33 - 33
- Consistent framework documentation with computed links and framework contractsby: Serge Demeyer, Koen De Hondt, Patrick Steyaert v. 32 i. 1es p. 34 - 34
- Experiences and issues with SEMATECH's CIM frameworkby: Peter T. Whelan v. 32 i. 1es p. 35 - 35
- Experiences with an object oriented framework for distributed control applicationsby: Raja Harinath, Jaideep Srivastava, Jim Richardson, Mark Foresti v. 32 i. 1es p. 36 - 36
- Adaptive object-oriented filtering framework for event management applicationsby: 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 scenariosby: Volker Luckas, Ralf Dörner v. 32 i. 1es p. 38 - 38
- Developing flexible and high-performance Web servers with frameworks and patternsby: Douglas C. Schmidt, James C. Hu v. 32 i. 1es p. 39 - 39
- The five-module framework for Internet application developmentby: Ezra Ebner, Weiguang Shao, Wei-Tek Tsai v. 32 i. 1es p. 40 - 40
- Designing an aspect-oriented framework in an object-oriented environmentby: 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 frameworksby: Mohamed Fayad v. 32 i. 1 p. 1 - 9
- Temporal logics for real-time system specificationby: Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi v. 32 i. 1 p. 12 - 42
- Programming languages and systems for prototyping concurrent applicationsby: Wilhelm Hasselbring v. 32 i. 1 p. 43 - 79
- A brief history of cellular automataby: Palash Sarkar v. 32 i. 1 p. 80 - 107
- An updated survey of GA-based multiobjective optimization techniquesby: Carlos A. Coello Coello v. 32 i. 2 p. 109 - 143
- Information retrieval on the webby: Mei Kobayashi, Koichi Takeda v. 32 i. 2 p. 144 - 173
- Data prefetch mechanismsby: Steven P. Vanderwiel, David J. Lilja v. 32 i. 2 p. 174 - 199
- Electronic document addressing: dealing with changeby: Helen Ashman v. 32 i. 3 p. 201 - 212
- Techniques for obtaining high performance in Java programsby: Iffat H. Kazi, Howard H. Chen, Berdenia Stanley, David J. Lilja v. 32 i. 3 p. 213 - 240
- Process migrationby: 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-physicistsby: Eleanor G. Rieffel, Wolfgang Polak v. 32 i. 3 p. 300 - 335
- Logical models of argumentby: Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui v. 32 i. 4 p. 337 - 383
- Extracting usability information from user interface eventsby: David M. Hilbert, David F. Redmiles v. 32 i. 4 p. 384 - 421
- The State of the art in distributed query processingby: Donald Kossmann v. 32 i. 4 p. 422 - 469
- Introducion to the Electronic Symposium on Computer-Supported Cooperative Workby: Kevin L. Mills v. 31 i. 2es p. 1 - 1
- Computing Surveys' electronic symposium on hypertext and hypermedia: editorialby: Helen Ashman, Rosemary Michelle Simpson v. 31 i. 4es p. 1 - 1
- Hypermedia research directions: an infrastructure perspectiveby: Uffe Kock Wiil, Peter J. Nürnberg, John J. Leggett v. 31 i. 4es p. 2 - 2
- Network Design and Improvementby: Hartmut Noltemeier, Hans-Christoph Wirth, Sven Oliver Krumke v. 31 i. 3es p. 2 - 2
- MASH: Enabling Scalable Multipoint Collaborationby: 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 innovationby: Andrew E. Treloar v. 31 i. 4es p. 3 - 3
- Semantic Multicast: Intelligently Sharing Collaborative Sessionsby: Son Dao, Eddie C. Shek, Asha Vellaikal, Richard R. Muntz, Lixia Zhang, Miodrag Potkonjak, Ouri Wolfson v. 31 i. 2es p. 3 - 3
- Algorithm Engineeringby: Giuseppe Cattaneo, Giuseppe F. Italiano v. 31 i. 3es p. 3 - 3
- On-line Algorithmsby: Susanne Albers, Stefano Leonardi v. 31 i. 3es p. 4 - 4
- DISCIPLE: A Framework for Multimodal Collaboration in Heterogeneous Environmentsby: Ivan Marsic v. 31 i. 2es p. 4 - 4
- Semantically indexed hypermedia: linking information disciplinesby: Douglas Tudhope, Daniel Cunliffe v. 31 i. 4es p. 4 - 4
- Program Analysis Gamesby: Chris Hankin, Pasquale Malacaria v. 31 i. 3es p. 5 - 5
- Orbit/Virtue: Collaboration and Visualization Toolkitsby: Daniel A. Reed, Simon M. Kaplan v. 31 i. 2es p. 5 - 5
- Hubs, authorities, and communitiesby: Jon M. Kleinberg v. 31 i. 4es p. 5 - 5
- Creation and Performance Analysis of User Representations in Collaborative Virtual Environmentsby: Kevin Martin v. 31 i. 2es p. 6 - 6
- Directions for Research in Approximate System Analysisby: Patrick Cousot v. 31 i. 3es p. 6 - 6
- Information visualization for hypermedia systemsby: Sougata Mukherjea v. 31 i. 4es p. 6 - 6
- Flexible CASE and hypertextby: Harri Oinas-Kukkonen v. 31 i. 4es p. 7 - 7
- Rough'n'Ready: A Meeting Recorder and Browserby: Francis Kubala, Sean Colbath, Daben Liu, John Makhoul v. 31 i. 2es p. 7 - 7
- Let's Evaluate Performance Algebraicallyby: Marco Bernardo v. 31 i. 3es p. 7 - 7
- Some Constributions of the Study of Abstract Communication Complexity to Other Areas of Computer Scienceby: Juraj Hromkovic v. 31 i. 3es p. 8 - 8
- Developing hypermedia applications with methods and patternsby: Gustavo Rossi, Fernando Lyardet, Daniel Schwabe v. 31 i. 4es p. 8 - 8
- Dynamic Collaborator Discovery in Information Intensive Environmentsby: David W. Payton, Mike Daily, Kevin Martin v. 31 i. 2es p. 8 - 8
- The evolution of hypertext link servicesby: 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 Spaceby: Howard D. Wactlar, Michael G. Christel, Alexander G. Hauptmann, Yihong Gong v. 31 i. 2es p. 9 - 9
- Graphical Represenation and Graph Transformationby: Hartmut Ehrig, Gabriele Taentzer v. 31 i. 3es p. 9 - 9
- Task-Based Information Managementby: Michael Wolverton v. 31 i. 2es p. 10 - 10
- Algebraic Methods for Specification and Formal Development of Programsby: Donald Sannella, Andrzej Tarlecki v. 31 i. 3es p. 10 - 10
- The significance of linkingby: Paul H. Lewis, Wendy Hall, Les Carr, David De Roure v. 31 i. 4es p. 10 - 10
- Interface Issues in Computer Support for Asynchronous Communicationby: James H. Morris, Christine Neuwirth, Susan Harkness Regli, Ravinder Chandhok, Geoffrey C. Wenger v. 31 i. 2es p. 11 - 11
- Foundational Aspects of Syntaxby: Dale Miller, Catuscia Palamidessi v. 31 i. 3es p. 11 - 11
- Where have you been from here? Trials in hypertext systemsby: Siegfried Reich, Les Carr, David De Roure, Wendy Hall v. 31 i. 4es p. 11 - 11
- Adaptive hypermedia: from systems to frameworkby: Paul De Bra, Peter Brusilovsky, Geert-Jan Houben v. 31 i. 4es p. 12 - 12
- Integration of Synchronous and Asynchronous Collaboration Activitiesby: Larry S. Jackson, Ed Grossman v. 31 i. 2es p. 12 - 12
- Extending Formal Language Hierarchies to Higher Dimensionsby: Dora Giammarresi, Antonio Restivo v. 31 i. 3es p. 12 - 12
- Integrating content search with structure analysis for hypermedia retrieval and managementby: Wen-Syan Li, K. Selçuk Candan v. 31 i. 4es p. 13 - 13
- Operational Methods in Theoretical Computer Scienceby: Corrado Priami v. 31 i. 3es p. 13 - 13
- Consistency Management for Distributed Collaborationby: Jonathan Rees, Sarah Ferguson, Sankar Virdhagriswaran v. 31 i. 2es p. 13 - 13
- Semantics Study and Reality of Computingby: Kohei Honda v. 31 i. 3es p. 14 - 14
- Intermediary Architecture: Interposing Middleware Object Services between Web Client and Serverby: 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 linksby: Frank M. Shipman III, Catherine C. Marshall v. 31 i. 4es p. 14 - 14
- Evaluation for Collaborative Systemsby: 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 Deviceby: Rusins Freivalds v. 31 i. 3es p. 15 - 15
- Dynamic hypertext: querying and linkingby: Richard C. Bodner, Mark H. Chignell v. 31 i. 4es p. 15 - 15
- Functional link typing in hypertextby: Richard W. Kopak v. 31 i. 4es p. 16 - 16
- Simulating the Mind: A Gaunlet Thrown to Computer Scienceby: Jirí Wiedermann v. 31 i. 3es p. 16 - 16
- Re-Configurable Distributed Scriptingby: M. Ranganathan, Laurent Andrey, Virginie Schaal, Jean Philippe Favreau v. 31 i. 2es p. 16 - 16
- Recent results in automatic Web resource discoveryby: Soumen Chakrabarti v. 31 i. 4es p. 17 - 17
- The MITRE Multi-Modal Logger: Its Use in Evaluation of Collaborative Systemsby: 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 documentsby: Jonathan Furner, David Ellis, Peter Willett v. 31 i. 4es p. 18 - 18
- The MITRE Map Navigation Experimentby: Jeffrey L. Kurtz, Laurie E. Damianos, Robyn Kozierok, Lynette Hirschman v. 31 i. 2es p. 18 - 18
- Structural patterns and hypertext rhetoricby: Mark Bernstein v. 31 i. 4es p. 19 - 19
- Supporting software engineering with open hypermediaby: Kenneth M. Anderson v. 31 i. 4es p. 20 - 20
- XML linkingby: Steven J. DeRose v. 31 i. 4es p. 21 - 21
- Lexical semantics and automatic hypertext constructionby: Stephen J. Green v. 31 i. 4es p. 22 - 22
- Hypermedia: the link with timeby: Lynda Hardman, Jacco van Ossenbruggen, Lloyd Rutledge, Dick C. A. Bulterman v. 31 i. 4es p. 23 - 23
- Versioning hypermediaby: Fabio Vitali v. 31 i. 4es p. 24 - 24
- Three dimensional visualization of the World Wide Webby: 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 environmentsby: Megan Quentin-Baxter v. 31 i. 4es p. 26 - 26
- Automatic link generationby: Ross Wilkinson, Alan F. Smeaton v. 31 i. 4es p. 27 - 27
- Hypertext link integrityby: Hugh C. Davis v. 31 i. 4es p. 28 - 28
- Hypermedia: a design philosophyby: Michael Bieber, Joonhee Yoo v. 31 i. 4es p. 29 - 29
- Separable hyperstructure and delayed link bindingby: 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 functionalityby: 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-useby: Theodor Holm Nelson v. 31 i. 4es p. 33 - 33
- Unlinking the linkby: Janet Verbyla v. 31 i. 4es p. 34 - 34
- Hypertext in the Web - a historyby: Robert Cailliau, Helen Ashman v. 31 i. 4es p. 35 - 35
- Education: the unfinished revolutionby: Andries van Dam v. 31 i. 4es p. 36 - 36
- The unfinished revolution and Xanaduby: Theodor Holm Nelson v. 31 i. 4es p. 37 - 37
- Bootstrapping our collective intelligenceby: Douglas C. Engelbart, Jeff Ruilifson v. 31 i. 4es p. 38 - 38
- Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environmentsby: Felix C. Gärtner v. 31 i. 1 p. 1 - 26
- Deductive Database Languages: Problems and Solutionsby: Mengchi Liu v. 31 i. 1 p. 27 - 62
- Active Database Systemsby: Norman W. Paton, Oscar Díaz v. 31 i. 1 p. 63 - 103
- Introduction to the Electronic Symposium on Computer-Supported Cooperative Workby: Kevin L. Mills v. 31 i. 2 p. 105 - 115
- Client-Server Computing in Mobile Environmentsby: Jin Jing, Abdelsalam Helal, Ahmed K. Elmagarmid v. 31 i. 2 p. 117 - 157
- Comparison of Access Methods for Time-Evolving Databy: Betty Salzberg, Vassilis J. Tsotras v. 31 i. 2 p. 158 - 221
- Computing Surveys' Electronic Symposium on the Theory of Computationby: 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 Surveyby: Piero Fraternali v. 31 i. 3 p. 227 - 263
- Data Clustering: A Reviewby: Anil K. Jain, M. Narasimha Murty, Patrick J. Flynn v. 31 i. 3 p. 264 - 323
- Computing surveys' electronic symposium on hypertext and hypermedia: editorialby: Helen Ashman, Rosemary Michelle Simpson v. 31 i. 4 p. 325 - 334
- A tutorial on default logicsby: Grigoris Antoniou v. 31 i. 4 p. 337 - 359
- The transport layer: tutorial and surveyby: Sami Iren, Paul D. Amer, Phillip T. Conrad v. 31 i. 4 p. 360 - 404
- Static scheduling algorithms for allocating directed task graphs to multiprocessorsby: Yu-Kwong Kwok, Ishfaq Ahmad v. 31 i. 4 p. 406 - 471
- Logical-Framework-Based Program Developmentby: David A. Basin v. 30 i. 3es p. 1 - 1
- Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretationby: John Field, Jan Heering, T. B. Dinesh v. 30 i. 3es p. 2 - 2
- Program Specialization vs. Program Compositionby: Andrei V. Klimov v. 30 i. 3es p. 3 - 3
- Some Achievements and Prospects in Partial Deductionby: Michael Leuschel, Bern Martens, Danny De Schreye v. 30 i. 3es p. 4 - 4
- Inherited Limitsby: Torben Æ. Mogensen v. 30 i. 3es p. 5 - 5
- Program Specialization via Algorithmic Unfold/Fold Transformationsby: Alberto Pettorossi, Maurizio Proietti v. 30 i. 3es p. 6 - 6
- Program Transformation in Calculational Formby: Akihiko Takano, Zhenjiang Hu, Masato Takeichi v. 30 i. 3es p. 7 - 7
- Modal Types as Staging Specifications for Run-Time Code Generationby: Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies v. 30 i. 3es p. 8 - 8
- A Unifying View of Functional and Logic Program Specializationby: María Alpuente, Moreno Falaschi, Germán Vidal v. 30 i. 3es p. 9 - 9
- Optimizing Modular Logic Languagesby: Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello v. 30 i. 3es p. 10 - 10
- Partial Evaluation of Concurrent Constraint Languagesby: Sandro Etalle, Maurizio Gabbrielli v. 30 i. 3es p. 11 - 11
- The Role of Trace Abstractions in Program Specialization Algorithmsby: John P. Gallagher, Laura Lafave v. 30 i. 3es p. 12 - 12
- Foundations for Partial Evaluation of Functional Programs with Computational Effectsby: John Hatcliff v. 30 i. 3es p. 13 - 13
- Type Specializationby: John Hughes v. 30 i. 3es p. 14 - 14
- Extending the Power of Automatic Constraint-Based Partial Evaluatorsby: Laura Lafave, John P. Gallagher v. 30 i. 3es p. 15 - 15
- Extending Partial Deduction to Tabled Execution: Some Results and Open Issuesby: Konstantinos F. Sagonas, Michael Leuschel v. 30 i. 3es p. 16 - 16
- Partial Evaluation for Program Comprehensionby: Sandrine Blazy, Philippe Facon v. 30 i. 3es p. 17 - 17
- Synthesis of an Efficient Tactical Theorem Prover for the Game of Goby: Tristan Cazenave v. 30 i. 3es p. 18 - 18
- Tempo: Specializing Systems applications and Beyondby: Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi v. 30 i. 3es p. 19 - 19
- Partial Evaluation for Software Engineeringby: Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi v. 30 i. 3es p. 20 - 20
- Partial Evaluation for Media Processingby: Scott Draves v. 30 i. 3es p. 21 - 21
- Using Partial Evaluation to Enable Verification of Concurrent Softwareby: Matthew B. Dwyer, John Hatcliff, Muhammad Nanda v. 30 i. 3es p. 22 - 22
- Dynamic Specialization in the Fabius Systemby: Mark Leone, Peter Lee v. 30 i. 3es p. 23 - 23
- Visualizing Partial Evaluationby: Oscar Waddell, R. Kent Dybvig v. 30 i. 3es p. 24 - 24
- Frameworks for Component-Based Client/Server Computingby: Scott M. Lewandowski v. 30 i. 1 p. 3 - 27
- Competitive Solutions for Online Financial Probby: Ran El-Yaniv v. 30 i. 1 p. 28 - 69
- Concurrency Control: Methods, Performance, and Analysisby: Alexander Thomasian v. 30 i. 1 p. 70 - 119
- Models and Languages for Parallel Computationby: David B. Skillicorn, Domenico Talia v. 30 i. 2 p. 123 - 169
- Multidimensional Access Methodsby: Volker Gaede, Oliver Günther v. 30 i. 2 p. 170 - 231
- Version Models for Software Configuration Managementby: Reidar Conradi, Bernhard Westfechtel v. 30 i. 2 p. 232 - 282
- Editorialby: Peter Wegner v. 30 i. 3 p. 284 - 284
- 1998 Symposium on Partial Evaluationby: Olivier Danvy, Robert Glück, Peter Thiemann v. 30 i. 3 p. 285 - 290
- Concurrency and Distribution in Object-Oriented Programmingby: 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 Collectionby: Saleh E. Abdullahi, Graem A. Ringwood v. 30 i. 3 p. 330 - 373
- Wormhole Routing Techniques for Directly Connected Multicomputer Systemsby: Prasant Mohapatra v. 30 i. 3 p. 374 - 410
- Efficient Algorithms for Geometric Optimizationby: Pankaj K. Agarwal, Micha Sharir v. 30 i. 4 p. 412 - 458
- A Survey of Structured and Object-Oriented Software Specification Methods and Techniquesby: Roel Wieringa v. 30 i. 4 p. 459 - 527
- ``Is This Document Relevant? ... Probably'': A Survey of Probabilistic Models in Information Retrievalby: Fabio Crestani, Mounia Lalmas, C. J. van Rijsbergen, Iain Campbell v. 30 i. 4 p. 528 - 552
- Trace-Driven Memory Simulation: A Surveyby: Richard Uhlig, Trevor N. Mudge v. 29 i. 2 p. 128 - 170
- A Survey of Approximately Optimal Solutions to Some Covering and Packing Problemsby: Vangelis Th. Paschos v. 29 i. 2 p. 171 - 209
- Programming Languages for Mobile Codeby: Tommy Thorne v. 29 i. 3 p. 213 - 239
- How to Declare an Imperativeby: Philip Wadler v. 29 i. 3 p. 240 - 263
- Machine Interpretation of CAD Data for Manufacturing Applicationsby: Qiang Ji, Michael M. Marefat v. 29 i. 3 p. 264 - 311
- Classification of Research Efforts in Requirements Engineeringby: 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 Scenesby: Frederick M. Weinhaus, Venkat Devarajan v. 29 i. 4 p. 325 - 365
- Software Unit Test Coverage and Adequacyby: Hong Zhu, Patrick A. V. Hall, John H. R. May v. 29 i. 4 p. 366 - 427
- Undirected Behavior Without Unbounded Searchby: Ronald J. Brachman, Hector J. Levesque v. 28 i. 4es p. 1 - 1
- Integrating Theory and Practice in Planningby: Thomas Dean v. 28 i. 4es p. 2 - 2
- Machine Learningby: Thomas G. Dietterich v. 28 i. 4es p. 3 - 3
- Cleaving (Unto) Artificial Intelligenceby: Jon Doyle v. 28 i. 4es p. 4 - 4
- Formality Helps Scalability and Robustnessby: C. Cordell Green v. 28 i. 4es p. 5 - 5
- The Importance of Integration for AIby: Barbara J. Grosz v. 28 i. 4es p. 6 - 6
- Integrated Systems and Naturalistic Tasksby: Ian Horswill v. 28 i. 4es p. 7 - 7
- Structured Representations and Intractabilityby: Daphne Koller v. 28 i. 4es p. 8 - 8
- Language, Computation and Artificial Intelligenceby: Fernando C. N. Pereira v. 28 i. 4es p. 9 - 9
- Computational Challenges in Artificial Intelligenceby: Bart Selman v. 28 i. 4es p. 10 - 10
- The Open Scientific Borders of AI, and the Case of Economicsby: Yoav Shoham v. 28 i. 4es p. 11 - 11
- Two Challenging Domainsby: Howard E. Shrobe v. 28 i. 4es p. 12 - 12
- Future Directions in Knowledge-Based Systemsby: William R. Swartout v. 28 i. 4es p. 13 - 13
- The Economic Approach to Artificial Intelligenceby: Michael P. Wellman v. 28 i. 4es p. 14 - 14
- Resource-Bounded Reasoning in Intelligent Systemsby: Shlomo Zilberstein v. 28 i. 4es p. 15 - 15
- Simple and Practical Geometric Algorithmsby: Pankaj K. Agarwal, Subhash Suri v. 28 i. 4es p. 16 - 16
- Equipping CAD/CAM Systems with Geometric Intelligenceby: Nancy M. Amato v. 28 i. 4es p. 17 - 17
- Developing Algorithms and Software for Geometric Path Planning Problemsby: Danny Z. Chen v. 28 i. 4es p. 18 - 18
- Graph Drawing and Information Visualizationby: Ioannis G. Tollis v. 28 i. 4es p. 19 - 19
- Communication Issues in Large-Scale Geometric Computationby: Jeffrey Scott Vitter v. 28 i. 4es p. 20 - 20
- Large-Scope Computing: The Industrial Challengesby: George Cybenko v. 28 i. 4es p. 21 - 21
- Challenges in Computational Scienceby: Malvin Kalos v. 28 i. 4es
