This file aggregates references used with our mediator and
mega-programming papers and the like. It is
periodically updated. The master copy is located in
~//earth/gio/web/biblio/references.html, also accessible as
/u/ftp/public_html/gio/biblio/references.html or
by browsing to
http://www-db.stanford.edu/pub/gio/biblio/references.html.
There is also a large, broad-based historical (up to 1992) file at
http://www-db.stanford.edu/pub/gio/biblio/master.html.
In this electronic world it is to be expected that many references will be digital as well, some citations here are only available on-line, any URLs though are always suspect. Maybe Alexa.com has archived pages that found to be dead.
Many entries have comments, after the citation and a `='
A @ field in the = section gives the location of the authors.
A =I3= entry indicates general relevance to mediation technology.
A =NII= entry indicates relevance to CS99I.
A =SimQL= entry indicates relevance for simulation access research.
A =SKC= entry indicates relevance to the ontology algebra work.
A =SW= entry indicates relevance for CS446 and mega programming.
A =TIHI= entry indicates relevance to our security and privacy research.
[AAAS:99] National Conversation on NSF Advanced Networking Infrastructure Support; http://www.aaas.org/netpolicy
[AberleEa:96] Denise Aberle, John Dionisio, Michael McNitt-Gray, Rickt Taira, Alfonso Cardenas, Jonathan Goldin, Kathleen Bown , Robert Figlin, and Wesley Chu: "Integrated Multimedia Timeline of Medical Images and data for Thoracic Oncology Patients"; Imaging and Therapeutic Technology, Vol. 16 No.3; May 1996, pp.669-681.
[AbernethyA:98] Neil Abernethy and Russ Altman: SOPHIA: Delivering Ontologies and Knowledge Bases over the Web from a Simple RDBMS; Stanford report SMI-1999-0773, for IEEE Intelligent systems, 1999; in Chaudhri, Borgida, Staudt(eds): 5th International Workshop on Knowledge Representation Meets Databases (KRDB '98), Seattle WA, pp.01-1 - 01-6, 1998. =SKC= Access97 RDBMS storage for hierarchical ontology frames to replace ontolingua. OKBC-like capabilities. Modest performance, but portable. Three main relations frames, hierarchy, class schemas. 100 000 frames required 2 000 000 tuples.
[AbitboulB:86] S. Abiteboul and Bidoit: "Non First Normal Form Relations: An Algebra Allowing Data Restructuring"; Journal of Computer and System Sciences, December 1986.
[AbiteboulHV:94] Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases; Addison-Wesley, 1994 = This database theory book provides a focused presentation of the core material on relational databases, and presents a number of advanced topics in a unified framework. Some of the advanced material has never before been presented in book form. The style is rigorous, with detailed proofs and many exercises. The text and numerous examples highlight the intuition underlying the development. As a textbook, the book is aimed at graduate students and seniors who would use it as the main text in a database theory course, or as complementary material in a database systems course. It can also serve as a reference for database researchers and for other computer scientists interested in databases.
[AbiteboulGPY:96] S. Abiteboul, H. Garcia-Molina, Y. Papakonstantinou, R. Yerneni: "Fusion Query Optimization"; Technical Report, 1996. = TSIMMIS Mediators
[AbiteboulBS:00] Serge Abiteboul, Peter Buneman, aand Dan Suciu: "Data on the Web, From Relations to Semistructured Data and XML"; Morgan Kaufman, 2000. =I3= XML. OEM.
[Abramsky:94] S. Abramsky, D. Gabbay, and T. Maibaum: "Handbook of Logic in Computer Science"; Volume 1, Mathematical Structures, Clarendon Press, Oxford University Press, 1994. =SKC=
[AbrialSM:80] JeanRaymond Abrial, S.A. Schuman, and Bertrand Meyer: Specification Language, On the Construction of Programs, an Advanced Course; Cambridge Un.Press, 1980. =SW=
[Ackerman:94] M.J. Ackerman: "The Visible Human Project": Proc. Medicine Meets Virtual Reality Conf. , SPIE, San Diego CA, 1994. = there should be a better reference soon
[ACM:95] ACM publication Board: "Interim Copyright Policies": Comm. of the ACM, April 1995
[ACM:99] Neal Coulter, et al: ACM Computing Classification System http://www.acm.org/class
[AdamW] Adam,N.R. and Wortmann,J.C.: Security-Control Methods for Statistical Databases: a Comparative Study; ACM Computing Surveys, Vol. 25 No.4, Dec. 1989. =TIHI=
[Adiba:81] Michel E.Adiba: ``Derived Relations: A Unified Mechanism for Views, Snapshots and Distributed Data"; VLDB 7, Zaniolo and Delobel(eds), Sep.1981, pp.293--305.
[AdlerW:92] P.S.Adler and Terry Winograd: Usabililty; Turning Technology into Tools; Oxford Un. Press, 1992.
[Adobe:99] Adobe Corp.: PDF and Printing; http://www.adobe.com/prodindex/postscript/pdf.html.
[AgarwalKSW:95] Shailesh Agarwal, A.M. Keller, K. Saraswat, and G.\ Wiederhold: ``Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases" ; Proc. IEEE Data Engineering Conference, Taipei, Taiwan, March 1995.
[Agha:88] Gul Agha: "The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases": ISPDS, IEEE CS, Austin TX, Dec 1988= at Yale Un. =PARADATA= DBDdist
[AgrawalEa:98] Hira Agrawal et al.: "Mining System Tests to Aid Software Maintenance"; IEEE Computer, vol.31 no.7, July 1998, pp.64-73. =SW= [AgrawalIS:93] Rakesh Agrawal, Tomasz Imielinski, and Arun Swam: "Mining Association Rules Between Sets of Items in Large Databases"; {\sl Proc. ACM SIGMOD Conference}, 1993, pp.207-216.
[AhmedEa:91] R. Ahmed et al.: "The Pegasus Heterogeneous Multidatabase System"; IEEE Computer, Vol.24 No.12, Dec.1991.
[AhrensP:95] Judith D. Ahrens and Noah Prywes: "Transition to a Legacy- and Reuse-Based Life Cycle"; IEEE Computer, Oct 1995, pp.27-36. =SW= maintenance ?
[AllenL:99] Paul Allen and David Liddle: About Interval; http://www.interval.com, Interval Research Corporation, 1999.
[Alschuler:95] Liora Alschuler: ABCD.. SGML; ITP International Thomson Computer Press. = thorough explanation of SGML and HTML.
[AltmanEa:98] R. B. Altman, M. Bada, X. J. Chai, R. O. Chen, & N. F. Abernethy: Using Ontologies for a Collaborative Scientific Data Resource in Molecular Biology: The RIBOWEB System; Stanford report SMI-98-0729 1998; for IEEE Intelligents Systems. =I3= Ribosome data represented as a actve digital document.
[Amazon:99] Amazon Associates Program http://www.amazon.com/exec/obidos/subst/partners/associates/associates.html
[Amico:98] Art museum image consortium (AMICO): Image collection preservation; http://www.amico.net/docs/vra
[AndersonJ:87] J.G. Anderson. and S.J. Jay (Eds):. Use and Impact of Computers in Clinical Medicine; : Springer-Verlag, 1987. = This collection of papers presents research on the factors that affect the adoption, diffusion, and utilization of clinical information systems in hospitals. It includes chapters on the attitudes of health professionals toward computers and the probable effects of clinical systems on aspects of medical practice, such as the role of physicians, relations between doctors and patients, and the organization of the health-care-delivery system.
[Andrews:93] Tim Andrews: "Designing Linguistic Interfaces to an Object Database or What do C++, SQL, and Hell have in Common?"; in Database Programming (DBPL-4), edited by C. Beeri, A. Ohori, and D. E. Shasha, Springer-Verlag, 1993, pp. 3-8.
[AndrewsA:87] T. Andrews and C. Andrews: "Combining Language and Database Advances in an Object-Oriented Development Environment"; Proceedings of OOPSLA, Orlando, Florida, 1987.
[AnnasGR:95] Georg J. Annas, Leonard H. Glantz, and Patricia A. Roche: The Genetic Privacy Act and Commentary; Health Law Department, Boston University School of Public Health, February 1995. [AonumaIK:89] Horomi Aonumi, Hiroshi Imai, and Yahiko Kambayashi: "A Visual System of Placing Characters Appropriatly in Multimedia Map Databases", in T.L. Kunii: {\sl Visual Database Systems}, North-Holland 1989, pp.526-546.
[AppelbeA:95] B. Appelbe et al: "Beyond Objects, a Response"; SigSoft Engineering Notes, Vol.20 no.3, July 1995, pp.45-48. =SW
[ArensCHIK:94] Yigal Arens, Chin Chee, Chun-Nan Hsu, Hoh In, and Craig Knoblock: "Query Processing in an Information Mediator"; Proc. ARPA/Rome Laboratory Knowledge-Based Planning and Scheduling Initiative Workshop, Tucson AZ, Morgan Kaufmann, 1994.
[ArensCHK:93] Yigal Arens, C.Y. Chee, C-N. Hsu, and Craig A. Knoblock: "Retrieving and Integrating data from Multiple Information Sources"; Int. J. on Intelligent and Cooperative Information Systems, Vol.2 No.2, 1993, pp 127-158. =I3=
[ArensK:92] Yigal Arens and Craig A. Knoblock: "Planning and
Reformulating Queries for Semantically-Modeled Multidatabase Systems";
Proceedings of the First International Conference on Information
and Knowledge Management (CIKM), Baltimore, MD, 1992. =
[ArensKS:96] Ygal Arens, Craig Knoblock, and Wei-Min Shen: "Query Reformulation for Dynamic Information Integration"; in Wiederhold (editor): Intelligent Integration of Information, Kluwer Pubs., 1996. =I3=
[Arnold:93] Robert S. Arnold: Software Reengineering; IEEE Press, 1993.
[Arthur:88] Lowell Jay Arthur: Software Evolution: The Software Maintenance Challenge; Wiley, 1988. = Maintenance to increase quality =P[Lisa Camensano 1995] =SW=
[Artur:92] Lowell Jay Artur =Arthur? : Rapid Evolutionary Development, Requirements, Prototyping, and Software Creation; Wiley, 1992. =SW
[AshishK:97] Naveen Ashish and Craig A. Knoblock: "Semi-automatic Wrapper Generation for Internet Information Sources"; Second IFCIS Conference on Cooperative Information Systems (CoopIS), Charleston, South Carolina, 1997 =@ISI, USC. Second IFCIS Conference on Cooperative Information Systems (CoopIS), Charleston, South Carolina, 1997. =I3= Building wrappers for/from WWW sources. Deals with 2 types of sources: 1) Multiple-instance sources (provide info in multiple pages, as CIA World Fact Book or NSF grants database 2) Single-instance sources - information is on 1 page as Yahoo list of countries by region; not with loosely-structured sources. Use lex and yacc to produce a parser of the source pages. Wrapper finds network location of page(s) from URLs. User specifies a mapping for multi-page URLs. Wrapper uses PERL to get pages over web and KQML to communicate with mediator [W.Pollock].
[AtkinsonC:94] Colin Atkinson: Object-oriented Reuse, Concurrency, and Distribution; ACM P 1994?.
[AtkinsonBM:95] M.P. Atkinson, V. Benzaken, and D.Maier (eds.) Persistent Object Systems; Springer-Verlag and British Computer Society, 1995, Workshops in Computing Series, ISBN 3-540-19912-8 = The proceedings of the sixth international workshop on Persistent Object Systems held in Tarascon, France 1994. 29 papers with summaries of sessions and keynote discussions (object store engineering, object caching, concurrency, applications, system evolution, optimization, reflection).
[Auletta:98]Ken Auletta: The Highwaymen: Warriors of the Information Superhighway; 1998. = =TIHI= Security
[ATP:99] NIST Advanced Technology Program; http://www.atp.nist.gov/atp/overview.htm. =TT=
[Bach:94] James Bach: Process Evolution in a Mad World; Borland International, Scotts Valley CA, 1993.
[Backup:99] Backup:The #1 Online Backup Service; @backup.com, San Diego CA, 1999, http://www.atbackup.com
[Baker:94] Nicholson Baker: ``DisCards"; The New Yorker Magazine, 4 April 1994, pp. 64--86.
[Baker:98] Thomas Baker : "Languages for Dublin Core:"; D-Lib Magazine, 1998, http://cnri.dlib/december98-baker
[BalEa:98] Henri E. Bal, Raoul Bhoedjang, Rutger Hofman, Ceriel Jacobs, Koen Langedoen, Tim Ruehl, and M.F. Kashoek: Performance evaluation of the ORCA shared-object System"; ACM Trans.Comp.Sys., Vol.16 No.1, Feb.1998, pages 1-40. =SW= Since ORCA objects reside in a distributed shared memory system, it is intended for modules sharing a memory bus and having a high degree of consistency.
[BaraaniPSG:95] Ahmed Baraani-Dasterdji, Josef Pieprzyk, Reihaneh SafaviNaini, and Janusz R. Getta: "A Cryptographic Mechanism for Object-Instance-based Authorization on Object-Oriented Database Systems"; in Papazoglou (ed.) OOER'95, Springer LCNS No.1021, 1995, pp.44-54. =TIHI=
[BarkerO:89] V.E. Barker and D.E. OConnor: ``Expert Systems for Configuration at Digital: XCON and Beyond''; Comm.ACM, Vol.32 No.3, Mar.1989, pp.298--318.
[Barkley:95] John Barkley: Role-based Access Control for the WWW; http://hissa.ncsl.nist.gov/rbac, 1995. =TIHI , RBAC provides an administrator's view of organization and its policies.
[Barnhart:94] Andy Barnhart: "Component-based solutions with OLE 2.0"; Software Development, Vol.2 No.9, Sept. 1994,page 47-51.
[BarrT:94] Avron Barr and Shirley Tessler: Software Industry Study; Stanford Computer Industry Project http://www.stanford.edu/group/scip">(SCIP), Stanford 1994.
[Barsalou:88] Thierry Barsalou: ``An Object-based Architecture for Biomedical Expert Database Systems"; SCAMC 12, IEEE CS Press, 1988.
[BarsalouCW:89] Thierry Barsalou, R. Martin Chavez, and Gio Wiederhold: "Hypertext Interfaces for Decision-Support Systems: A Case Study"; Proc IFIP MEDINFO 89, Beijing and Singapore, Dec. 1989, pages 126 to 130 (received gold medal); also Stanford KSL Report 89-03, Jan. 1989.
[BarsalouW:89] Thierry Barsalou and Gio Wiederhold: ``Knowledge-directed Mediation Between Application Objects and Data"; Proc. Working Conf. on Data and Knowledge Integration, Univ. of Keele, England, 1989, Pittman Pub.
[BarsalouW:90] T. Barsalou and G. Wiederhold: ``Complex Objects For Relational Databases''; Computer Aided Design, Vol. 22 No. 8, Buttersworth, Great Britain, October 1990.
[BarsalouSKW:91] T. Barsalou, N. Siambela, A. Keller, and G. Wiederhold: ``Updating Relational Databases through Object-Based Views''; ACM SIGMOD Conf. on the Management of Data 91, Boulder CO, May 1991.
[BarsalouSHW:92] T. Barsalou, W. Sujansky, L.A. Herzenberg, and G. Wiederhold: "Management of Complex Immunogenetics Information Using an Enhanced Relational Model"; IMIA Yearbook in Medical Informatics, International Medical Informatics Association, 1992.
[Basili:88] V.R. Basili and H.D. Rombach: "The Tame Project: Towards Improvement-Oriented Software Environments"; IEEE Trans SE, vol.SE14, 1988, pages 758-773. =SW=
[Basili:90] Victor Basili: "Viewing Maintenance as Reuse-Oriented Software Development"; IEEE Software, Vol.7 No.1, Jan. 1990, pp.19-25.
[Bassett:98] P. Bassett: "Managing for Flexible Software Manufacturing"; IEEE Computer, Vol.31 no.7, July 1998. = The article discusses reuse, the reason why it does not happen, and proposes some general remedies: management, architecture, infrastructure [Beringer].
[BBN:81] BBN: A History of the ARPANet, The First Decade report 4799, Bolt Beranek and Newman, Cambridge MA, 1981.
[BeckCT:93] Howard Beck, Ken Currie and Austin Tate: A Domain Description Language for Job-Shop Scheduling; Un. of Edinburgh AIAI-TR-137 October 1993; http://www.aiai.ed.ac.uk/pasg/Topics/Ontologies/ddl-tr.ps =SW=
[BeckEa:94] J. Robert Beck et al: Policy Forum; JAMIA. Vol.1 No.4, July/August 1994, pp. 313-324. =TIHI= Special issue on Privacy and Security in Healthcare.
[BeeriR:87] C. Beeri and R. Ramakishnan: ``On the Power of Magic"; ACM-PODS, San Diego, Mar.1987.
[Beizer:90] B. Beizer: Software Testing Techniques; Van Nostrand Reinhold, 1990.
[Belady:91] Laszlo A. Belady: "From Software Engineering to Knowledge Engineering: The Shape of the Software Industry in the 1990's"; International Journal of Software Engineering and Knowledge Engineering, Vol.1 No.1, 1991. =SW= Type A and type B programers
[Bellovin:97] Steven M. Bellovin: "Network and Internet Security"; in Peter Denning and Dorothy Denning, eds.: Internet Besieged: Countering Cyberspace Scofflaws, ACM Press, 1997. =TIHI=
[Bellovin:96] Steven M. Bellovin: "Network Security Issues"; in A. Tucker, ed., CRC Computer Science and Engineering Handbook, CRC Press, 1996. =TIHI=
[Bellovin:95] Steven M. Bellovin, "Security and Software Engineering"; in B. Krishnamurthy, editor: Practical Reusable UNIX Software, John Wiley & Sons, 1995. =TIHI=
[Behrens:97]. Cliff Behrens: "USDAC's Prototype Catalog and Data Access System"; Information Technology Workshop 1, Earth & Space Data Computing Division (ESDCD), Code 930, Earth Sciences Directorate NASA/Goddard Space Flight Center Greenbelt MD 20771 USA, http://dlt.gsfc.nasa.gov/itw.
[Belady:91] Laszlo A. Belady: "From Software Engineering to Knowledge Engineering: The Shape of the Software Industry in the 1990's"; International Journal of Software Engineering and Knowledge Engineering, Vol.1 No.1, 1991.
[BeringerTJW:98] Dorothes Beringer, Catherine Tornabene, Pankaj Jain, and Gio Wiederhold: "A Language and System for Composing Autonomous, Heterogeneous and Distributed Megamodules"; DEXA International Workshop on Large-Scale Software Composition, August 98, Vienna, Austria, http://www-db.stanford.edu/CHAIMS/Doc/Papers/index.html.
[BerleantB:94] Dan Berleant and Hal Berghel: ``Customizing Information''; IEEE Computer; Vol.27 Nos.9,10, Sep., Oct. 1994, pages 96--98, 76--78.
[BernersLeeCGP:92] T. Berners-Lee, R. Cailliau, J. Groff, and B. Pollermann: ``WorldWideWeb: The Information Universe"; Electronic Networking: Research, Applications and Policy; Vol.1 No.2, 1992, pages 52-58. =I3= =NII=
[BernersLee:94] Tim Berners-Lee: RFC 1738: Uniform resource Locators; http://WWW.w3.org/hypertext/WWW/Addressing/rfc1738.txt, Dec.1994. =I3= =NII= URL specification.
[BertinoBFS:96] Elisa Bertino, Claudio Bettini; Elena Ferrari; Pierangela Samarati: "Supporting Periodic Authorization and Temporal Reasoning in Database Access Control"; VLDB 96. = constraint rules useful for =TIHI=.
[Berzins:95] Valdis Berzins (ed.): Software Slicing and Merging; IEEE CS books, 1995. Methods for re-enginering legacy programs. =SW= .
[Betz:94] M. Betz: "Interoperable Objects"; Dr. Dobbs Journal, Vol.19 no.11, pp.18 af. = OLE vs. OpenDoc =SW=
[Beyerchen:92] Alan D. Beyerchen: "Clausewitz, Nonlinearity and the Unpredictability of War'; International Security, vol.17 no.3, Winter 1992, pp.59-90; reprinted in [Czerwinski:98]. = limitations of prediction: linear assumptions: proportionality and additivity of effects. =SimQL=
[BhatnagarK:86] Bhatnagar and L.N. Kanal: "Handling Uncertain Information: A Review of Numeric and Non-numeric Methods"; in Kanal and Lemmer(eds.): Uncertainty in AI, North-Holland publishers, 1986. = SimQL
[Bhimani:96] Anish Bhimani: "Securing the Commercial Internet"; Comm.ACM, March 1996. = barrier to internet commerce and virtual enterprises in security. =TIHI=
[Biefeld:90] E. Biefeld, and Cooper, L.: Operations mission planner; Technical Report. JPL 90-16, Jet Propulsion Laboratory, 1990.=SKC=
[Binder:99] Robert Binder: Testing Object-Oriented Software: Models, Patterns, and Tools; Addison-Wesley, Booch, Rumbaugh Jacobson Series, 1999. =SW=
[Binder:95] Robert Binder: Trends in Testing Object-Oriented Software; IEEE Computer,V ol.28 no.10, Oct.95, pp-68-68. @RBSC Corp. =SW=
[Binder:94] Robert Binder: "Object-Oriented Software Testing"; special topic issue, Comm.ACM, Vol.37 No.9, Sept. 1994.
[Binstock:94] Andrew Binstock: "Objectively Speaking"; Unix Review, June 1994, page 7. =editorial on limited success of OO SW paradigm. =SW=
[BlakeBT:92] G.E.Blake, T.Bray, and Frank W.Tompa, ``Shortening the OED: Experience with a Grammar-Defined Database''; ACM Trans. Information Sys., Vol.10 No.3, July 1992, pp. 213-232. =SKC=
[BlakeleyCL:89] J.A. Blakeley, N. Coburn, and P. Larson: "Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates"; ACM Transactions on Database Systems, Vol. 14, No. 3, 1989, 369-400.
[BlakeleyLT:86] J. Blakely, P. A. Larson, and F. W. Tompa: "Efficiently Updating Materialized Views"; ACM SIGMOD, Int. Conf. on Management of Data, Washington, D.C., May 1986, 61-67.
[BlakeleyMG:93] J. Blakeley, W. McKenna, G. Graefe. "Experiences Building the Open OODB Query Optimizer"; ACM SIGMOD International Conference on Management of Data, Washington, D.C. May 1993.
[Blakeley:94] J. Blakeley, "OQLC++: Extending C++ with an Object Query Capability"; in Won Kim (ed.): Modern Database Systems: The Object Model, Interoperability, and Beyond, Addison Wesley/ACM Press, 1994.
[Blum:82] Robert L. Blum: Discovery and Representation of Causal Relationships from a Large Time-Oriented Clinical Database: The RX Project; Springer Verlag, Lecture Notes in Medical Informatics, no.19, 1982.
[Blum:92] Bruce Blum: Software Engineering, A Holistic Approach; Oxford Un. Press, 1992. = This philosophical but unbiased textbook on software engineering was written by a practioner who has had substantial experience developing clinical applications. It covers the system-development process, data-flow diagrams, and structured-coding technique
[Blum:96] Bruce Blum: Beyond Programming; Oxford Un.Press, 1996. =SW+
[Boehm:84] Barry W. Boehm: ``Software Engineering Economics"; IEEE Trans. Software Eng., Vol.10 No.1, Jan.1984, pp.4--21. =SW=
[BoehmEa:91] Barry Boehm et al.:Department of Defense, Software Strategy (draft); prepared for the Director of Defense Research and Engineering, Dec 1991. =SW= Reuse oriented, includes economic models. In Gio's office =SW=
[BoehmS:92] Barry W. Boehm and William Scherlis: "Megaprogramming (preliminary version)"; Proc. DARPA Software Technology Conference April 1992, Los Angeles CA, April 28-30, Meridien Corp., Arlington VA 1992, pp 68-82. Meridien, 1992, pp 68-82. =SW= see Tracz for reference.
[BoehmEa:98] Barry Boehm, A. Egyed, J. Kwan, D. Port, A. Shah, and R. Madachy: "Using the WinWin Spiral Model: A Case Study"; IEEE Computer, Vol.31 No.7, July 1998, pp.33-44. =SW= short note concerning WinWin Spiral Model, more on experiences in student projects; WinWin seems quite interesting. The WinWin Spiral Model has mainly the following two add-ons to the classical spiral model: 1) additional activities at the beginning of each spiral cycle 2) process anchor points [Beringer].
[Boehm:99] Barry Boehm: "Managing Software Productivity and Reuse";
USC SW institute, July 1999; to appear as an IEEE Computer column; [Booch:94] Grady Booch: Object-Oriented Design with Applications, 2nd Ed.; Benjamin-Cummins, 1994. =SW= An introduction to Object-oriented Programming, by one of its chief proponents and tool builders. [Boose:86] Boose, J.H.: "Rapid acquisition and combination of knowledge from multiple experts in the same domain"; Future Computing Systems Journal, Vol.1, 1986, pp.191-216. =on consensus knowledge acquisition: [BowmanSMS:94] C. Mic Bowman, Peter B. Danzig, Udi Manber, and Michael F. Schwartz, 1994. "Scalable Internet Resource Discovery: Research Problems and Approaches"; Comm. ACM, Vol.37 No.8, pp. 98-107, August 1994. [Boose:86] J.H. Boose: "Rapid acquisition and combination of knowledge from multiple experts in the same domain"; Future Computing Systems Journal, 1, 191-216. = on consensus knowledge acquisition: [BoraG84] H. Boral and I. Gold: "Towards a Self-Adapting Centralized Concurrency Control Algorithm"; ACM SIGMOD Int. Conf. on Management of Data, Boston MA, May 1984. [BorensteinF:93] Nathaniel Borenstein and Ned Freed: MIME (Multipupose Internet Mail Extension; TR Sep. 1993. [BowmanEa:94] C. Mic Bowman, Peter B. Danzig, Darren R. Hardy, Udi Manber and Michael F. Schwartz: ``The HARVEST Information Discovery and Access System''; Proceedings of the Second International World Wide Web Conference, Chicago, Illinois, October 1994, pages 763--771. Available from ftp://ftp.cs.colorado.edu/pub/cs/techreports/schwartz/Harvest.Conf.ps.Z [Brachman:91] R. J. Brachman, D. McGuinness, P. Patel-Schneider, A. Borgida: and L. Resnick: "Living with CLASSIC: When and how to use a KL-ONE-like language". In J. Sowa"; (ed.), Principles of Semantic Networks, pages 401-456. Morgan Kaufmann, San Mateo, Cal: 1991.=SKC= [Brill:93] D. Brill: LOOM Reference Manual; Version 2.0: USC/ISI: 4676 Admiralty Way: Marina del Rey: CA 90292: 1993.=SKC= [Brockschmidt:94] Kraig Brockschmidt: Inside OLE 2; Microsoft Press, 1994, 977pp. [BrodieMS:86] M. Brodie, J. Mylopoulos, and J. Schmidt (eds.): On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies; Springer Verlag, June 1986. [BrodieS:95] Michael Brodie and Michael Stonebraker (eds): Migrating Legacy Systems; Morgan Kaufman, 1995. [Brown:93] George Brown: "Can Scientists Make Change Their Friend'; Scientific American, june 1993, page 151. = warning on being relevant, by the chair of the House Committee on Science, Space, and Technology [BukhresE:95] O. Bukhres and A. Elmagarmid: Objrct-oriebted Mukltidatabase Systms; Prentice Hall 1995 [Braithwaite:96] Bill Braithwaite: "National health information privacy bill generates heat at SCAMC"; Journal of the American Informatics Association, Vol.3 no.1, 1996, pp.95-96. =TIHI= [Brown:95] D. Brown: "Design of a Highly Available Switching Platform Employing Commercial Components"; Proc. ICC 95 - International Communication Conference, Hamburg Germany 1995. = HRP, an AT&T CLOS-written system for high-reliability multi-processing. =SW= [BuchananEa:90] B.G. Buchanan, D. Bobrow, R. Davis, J. McDermott, and E.H. Shortliffe: ``Knowledge-Based Systems''; J.Traub (ed.): Annual Review of Computer Science; 1990, Vol.4, pp. 395--416. [BukhresE:95] O. Bukhres and A. Elmagarmid: Object-oriented Multidatabase Systms; Prentice Hall 1995 =SW= [Burgess:94] Lisa Burgess: "New Software Gives Commander Control of Radio Codes"; Defense News, 21Feb1994. [BullDPR:87] M. Bull, R. Duda, D. Port, and J. Reiter: ``Applying Software Engineering Principles to Knowledge-Base Development"; Proc. Expert Systems and Business 87, NY, Learned Information, Meadford NJ, Nov.1987, pp.27--37. [Burnstein:96] M. Burnstein & D. Smith: "ITAS: A Portable Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal specifications"; in B. Drabble (ed.): Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, AAAI Press: 1996.=SKC= [Bush:45] Vannevar Bush: ``As We May Think''; Atlantic Monthly, Vol.176 No.1, 1945, pp.101--108; http://www.press.umich.edu/jep/works/vbush/vbush.shtml. [Bush:93] Randy Bush: "FIDONet: Technology, Tools, and History"; Comm.ACM, Vol.36 No.8, August 1993, pp.31:35. = history, politics, and use of a user initiated-network [ButterworthOS:91] Paul Butterworth, Allen Otis, and Jacob Stein: "The Gemstone Object DBMS"; ?? pp.50-63 [BuvacM:98] Sasa Buvac and John McCarthy: Combining Planning Contexts; Stanford University, Formal AI group, 1998, http://www-formal.stanford.edu. =SKC= [Cairncross:97] Frances Cairncross: The Death of Distance; How the
Communications Revolution Will Change Our Lives; Harvard Business
School Press, 1997. =I3= [CallahanR:81] M.V. Callahan and P.F. Rusch: ``Online implementation of the Chemical Abstracts SEARCH file and the CAS Registry Nomenclature File"; Online Rev., Vol.5 No.5, Oct.1981, pp.377-393. [CallahanP:91] J. Callahan and J. Purtilo: "A packaging system for heterogeneous execution environments"; IEEE Transactions on Software Engineering, Vol. 17, (1991), pp. 626-635.= Polylith UMD ftp://flubber.cs.umd.edu/docs/tr-2542.ps.Z [CaludeMS:94] C. Calude, H. Maurer, A. Salomaa: ``J.UCS: The Journal for Universal Computer Science and its Applications to Teaching"; Symposium Didaktik der Mathematik, Klagenfurt, Schriftenreihe Didaktik der Mathematik, 1994. [CarbonellKM:91] Jiame Crabonell, Craig Knoblock, and Steven Minton: "PRODIGY: an integrated Architecture for Planning and Learning"; in VanLehn (ed):Architecture for Intelligence, Lawrence Erlbaum pubs, 1991, pp.241-278. [CareyFLS91] M. Carey, M. Franklin, M. Livny, and E. Shekita: Data Caching Tradeoffs in Client-Server DBMS Architecture; ACM SIGMOD Int. Conf. on Management of Data, Denver, CO, May 1991, 357-366. [CareyHMW:96] Michael Carey, Laura Haas, Vivek Maganty, John Williams: "Pesto: An integrated Query/Browser for Object Databases"; Proc. VLDB 96, Morgan Kaufman, 1996, pp.203-214. [Cargill:89] Carl Cargill: Information Technology Standardization: Theory, Process, and Organizations; Digital Press, 1989. [Carlson:92] A. Carlson: Penguin System Internal Maintenance
Specifications; unpublished document, Stanford, October 1992. = put it
on a web page, so people can get to it. [Carnegie:94] Carnegie: Science, Technology, and Government for a Changing World; report of the carnegie Commission, 1994. = 5 year study final repor. [Carr:92] T. Carr: "Predicting Software Defects Over Time"; 9th Int. Conf. on Software Testing, Washington DC, June1992 = SW testing asymptote =SW= [Carrol:95] John M. Carroll: "Scenario-Based Design; Envsioning Work and Technology in System Development"; Wiley, 1995 =SW= papers from Jun 1993 workshop. Workflow, representation, OO, User-interfaces. [CasatiCPP:95] F. Casati, S. Ceri, B. Pernici and Guiseppe Pozzi: "Conceptual Modeling of WorkFlows"; in Papazoglou (ed.) OOER'95, Springer LCNS No.1021, 1995, pp.341-354. =SW= [CastanoFMS:95] S.Castano, M.G. Fugini, G.Martella, and P. Samarati: Database Security; Addison Wesley - ACM Press, 1995, pp. 456. =TIHI= |castano@dsi.unimi.it | [Cattell 91] R. Cattell: Object Data Management: Object Oriented and Extended Relational Systems; Addison-Wesley, 1991. [Cattell:94] R.Cattell (eds): The Object Database Standard: ODMG (3 9version 1.1); Morgan Kaufman, May 1994 [CeriPW:89] Stefano Ceri, Barbara Pernici, and Gio Wiederhold:
"Design Support Environment for Distributed Databases"; Information
Systems; Vol.14 No.3, 1989, pages 261-272. [CeriW:91] Stefano Ceri and Jenifer Widom: ``Deriving Production Rules for Incremental View Maintenance''; 17th Int. Conf. on Very Large Data Bases, Barcelona, Spain, September 1991, pages 577-589. [CeriF:97] Stefano Ceri and Piero Fratelli: Designing Database
Applications with Objects and Rules, The IDEA Methodology; Addison-Wesley, 1997. =DBD= =I3= [ChalupskyHR:97] H. Chalupsky, E. Hovy, and T. Russ, T.: Presentation on Ontology Alignment; NCITS.TC.T2 ANSI at ad hoc group on ontology, 1997.. =SKC= [ChaudhriEa:98] Vinay K. Chaudhri, A. Farquhar, R. Fikes, P.D. Karp, and J.~P. Rice, Open Knowledge Base Connectivity (OKBC) 2.0.3; Draft standard proposal, SRI International, July 1998.. =SKC= [ChamberlinGT:75] D.D.Chamberlin, J.N.Gray, and I.L.Traiger: ``Views, Authorization, and Locking in a Relational Data Base System"; Proc.1975 NCC, AFIPS Vol.44, AFIPS Press, pp.425--430. [ChakravarthyFM:85] U.S. Chakravarthy, D. Fishmann and J. Minker; ``Semantic Query Optimization in Expert Systems and Database Systems''; Expert Databases, Kerschberg(ed), Benjamin Cummins, 1985. [ChangGP:96] Chen-Chuan K. Chang, Hector Garcia-Molina, Andreas
Paepcke : Boolean Query Mapping Across Heterogeneous Information
Sources ; IEEE Transactions on Knowledge and Data Engineering; Vol.8,
pp.515-521, Aug., 1996. =I3= [ChaoFK:94] Chin-Wang Chao, Gene Fuoco, and Diane Krpfl: "FASTAR
Platform Gives tbe Network a Competetive Edge"; AT&T Technical
Journal, Vol.73 No. 4, Jul-Aug.1994, pp.69-181 = introduction of
software subsystem for backup link into the AT&T
network. Traditional, but careful SW practice. =SW= [Charles:99] John Charles: "Middleware Moves to the Forefront";
IEEE Computer Magazine, Vol.32 no.5, May 1999, pages 17-19. =I3=
Application areas for middleware.
[Charette:79] R.H. Charette: Software Engineering and Risk
Analysis Management; McGraw- Hill 1979. [Chaudhuri:90] Surajit Chaudhuri: ``Generalization and a
Framework for Query Modification''; Proceedings of the Sixth
International Conference on Data Engineering, Los Angeles, Feb
1990, pp.138-145. [ChavezM:96 ] Anthony Chavez and Pattie Maes: "Kasbah: An Agent
Marketplace for Buying and Selling Goods"; First International
Conference on the Practical Application of Intelligent Agents and
Multi-Agent Technology, London, UK, April 1996. =I3= [ChavezTW:98] Andrea Chavez, Catherine Tornabene, and Gio Wiederhold:
"Software Component Licensing Issues: A Primer; IEEE Software,
Vol.15 No.5, Sept-Oct 1998, pp.47-52. =I3= [ChawatheEa:94] S. Chawathe, H. Garcia-Molina, J. Hammer, K.
Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom: "The TSIMMIS
Project: Integration of Heterogeneous Information Sources"; In
Proceedings of IPSJ Conference, pp. 7-18, Tokyo, Japan, October 1994.
= TSIMMIS mediators =I3= [ChawatheGW:94] S. Chawathe, H. Garcia-Molina and J. Widom:
"Flexible Constraint Management for Autonomous Distributed Databases";
IEEE Data Engineering Bulletin, Vol. 17, No. 2, pp. 23-27, June 1994.
=Constraint Management in TSIMMIS Mediators =I3= [ChawatheGW:96] S. Chawathe, H. Garcia-Molina and J. Widom: "A
Toolkit for Constraint Management in Heterogeneous Information
Systems"; IEEE Twelfth International Data Engineering Conference, pp.
56-65, New Orleans, February 1996. = Constraint Management in TSIMMIS
Mediators =I3= [ChawatheG:97] S. S. Chawathe and H.
Garcia-Molina: "Meaningful Change Detection in Structured Data";
Proceedings of the ACM SIGMOD Conference, Tuscon, Arizona, May,
1997. [Cheeseman:85] Peter Cheeseman: ``In Defense of
Probability''; Proc. IJCAI, Los Angeles, 1985, pp.1002--1009.
[ChenM:89] M.C.Chen and L.McNamee: ``A Data Model and Access
Method for Summary Data Management''; IEEE Data Engineering
Conf.5, Los Angeles, Feb.1989. [ChenEa:99] SuShing Chen et
al.: NSF Workshop on Data Archival and Information Preservation;
Washington DC, March 1999, to appear on cecssrv1.cecs.missouri.edu.
=I3= [CheswickB:94] W. R. Cheswick and S. M. Bellovin: Firewalls and Internet Security: Repelling the Wily Hacker; Addison-Wesley, 1994. =TIHI [ChiangR:82] T.C. Chiang and G.R. Rose: ``Design and Implementation of a Production Database Management System (DBM-2)''; Bell System Technical Journal, Vol.61 No.9, Nov.1982, pp.2511--2528. [ChillaregeA:91] Chillarege et al.: Orthogonal Defect
Classification for Defect Control; IBM TJ Watson Res. TR RC17320,
2Nov1991.= clasify defects, analyze pattern, find cause, and try to
reduce that class of errors in the future. =SW= testing. [ChoiSW:97] Son-Yong Choi, Dale O. Stahl, and Andrew B. Whinston: The
Economics of Electronic Commerce; Macmillan, 1997. =I3= [ChuMB:93] W.W. Chu, M. Merzbacher, and L. Berkovich: ``The Design
and Implementation of CoBase"; ACM SIGMOD '93, May 1993,
pp.517-522. [ChuQ:92] W.W. Chu and Q. Chen: ``Neighborhood and Associative Query Answering"; Journal of Intelligent Information System, Vol.1 No.3/4, 1992, pp.355-382. [ChuQ:94] W.W. Chu and Q. Chen: ``A Structured Approach for Cooperative Query Answering"; IEEE Transactions on Knowledge and Data Engineering, Vol.6 No.5, October 1994. [ChuEa:96] W.W. Chu, et al.: "CoBase: A Scalable and Extensible Cooperative Information System"; in Wiederhold (editor): Intelligent Integration of Information, Kluwer Pubs., 1996. =I3= [CIA:97] Central Intelligence Agency: CIA Factbook; 1997, http://www.odci.gov/cia.. =SKC= [CicchettiLLM:89] R. Cicchetti, L.D. Lakhal, N. LeThanh, and S. Miranda: ``A Logical Summary-data Model for Macro Statistical Databases''; DASFAA 1, Seoul Korea, KISS and IPSJ, Apr.1989, pp.43--51. = Distinguishes micro, source databases, and macro, derived summary databases. Compared with Ghosh's SRT, Ozsoyoglu's SMT. Composability of primitive tables. ORACLE implementation. Statistics [Cimino:96] J.J. Cimino: "Review paper: coding systems in health
care"; Methods of Information in Medicine, Schattauer Verlag,
Stuttgart Germany, Vol.35 Nos.4-5, Dec.1996, pp.273-284. =I3= [ClarkeOPT:99] Lori A. Clarke, Leon J. Osterweil, Dewayne Perry,
and Richard N. Taylor: "Software Engineering Research: Challenges,
Successes, and Opportunities"; July 1999; [ClaytonEA:97] Paul Clayton et al.: For The Record, Protecting
Electronic Health Care Information; National Academy Press, 1997.
=I3= [Clearwater:96] Scott H. Clearwater (Ed.): Market-Based Control : A Paradigm for Distributed Resource Allocation; World Scientific Pub, March 1996, ISBN: 9810222548. =SimQL= Market-Based Control is a paradigm for controlling complex systems that would otherwise be very difficult to control, maintain, or expand. The purpose of this volume is to illustrate the utility of market-based control through a series of papers focusing on different applications. A wide range of fields have provided motivation for these works include decentralization, interacting agents, and some notion of a resource that needs to be allocated. The papers span a range including theoretical considerations, simulations, and implementations. [CNRI:99] Corporation for National Research Initiatives;
http://www.cnri.reston.va.us =I3= [CoC:90] Council on Competetiveness: Gaining New Ground: Technology Priorities for America's Future; 1990 [Codd:70] E.F. Codd: "A Relational Model of Data for Large Shared
Data Banks"; CACM, Vol.13 No.6, June 1970. = the fundemental
paper for relational databases. [CochranePM:96] Bobby Cochrane, Hamid Pirhesh, and Nelson Mattis: "Integrating Triggers and Ceclarative Constraints in SQL Database Systems"; VLDB 96, pp 567-578. = clear definition of SQL92/3 connection constraints. Differs from Starburst.. =SM= [Cohen:89] Danny Cohen: ``Computerized Commerce''; Information Processing 89, Ritter (ed), IFIP North-Holland 1989, pp.1095--1100. [CohenC:93] Danny Cohen and N. Campbell: "Automating Relational Operations on Dat Structures"; ACM SIGPLAN Notices, Proc. of the Workshop on Interface Definition Languages, ACM, August 1994. = includes an estimate statement =SW= [CohenF:82] P.R. Cohen and E. Feigenbaum (eds.): The Handbook of Artificial Intelligence; Morgan Kaufman, 1982. [CohenGN:94] Danny Cohen, N.M. Goldman, and K. Narayanaswamy: "Adding Performance Information to ADT Interfaces"; ACM SIGPLAN Notices, Proc. of the Workshop on Interface Definition Languages, IEEE, August 1994. = includes an estimate statement =SW=. [CohenL:88] H. Cohen and S. Layne (editors) Future Data Management and Access, Workshop to Develop Recommendations for the National Scientific Effort on AIDS Modeling and Epidemiology; sponsored by the White House Domestic Policy Council, 1988. {CohenEa:98] Paul Cohen, Robert Schrag, Eric Jones, Adam Pease, Albert Lin; Barbara Starr, david Gunning, and Murray Burke: "The DARPA High-Performance Knowledge bases Project"; AI Magazine, Winter 1998, AAAI, pp.25-49. [ColbyGLM:96] Latha Colby, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, and Howard Trickey: "Algorithms for Deferred View Maintenance"; Proc.SIGMOD 96, ACM, June 1996, pp.469-480. = Infsys can be exploited to hold tentative results generated by SimQL. [ColeEa:95] WG Cole, DD Sherertz, MS Tuttle, GT Hsu, LM Fagan, RW Carlson: "Semantic visualization of oncology knowledge sources"; Proc Annu Symp Comput Appl Med Care; 1995, pp.67-71. = LXT, SKC [ColemanALO:94] Don Coleman, Dan Ash, Bruce Lowther, and Paul Oman: "Using Metrics to Evaluate Software Systems Maintainability"; IEEE Computer, Vol.27 No.8, Aug.1994, pp.44-49. =SW= Importance for Hewlett-Packard. Categorization of tasks: Corrective, Adaptive, and Perfective. References to 5 models, but only an HP 3-dimensional (control structure, info. structure, typography) one is evaluated, module by module, versus the assessments of SW engineers. [ColletHS:91] C. Collet, M. Huhns, and W-M. Shen: ``Resource Integration Using a Large Knowledge Base in CARNOT''; IEEE Computer, Vol.24 No.12, Dec.1991. [Conner:94] Dominic Conner: "Microsoft Visual C++"; EXE, Vol.8 No.8. Feb, 1994, pp.58 (4 pages). = Reference for visual programming and OLE, provided by Avery Kadison. =SW= [Connolly:97] Dan Connolly (ed.): XML: Principles, Tools, and Techniques; O'Reilly, 1997; reprint of World Wide Web Journal, Vol.2 No.4, 1996. [CookeG:91] D.E. Cooke and A. Gates: ``On the Developmemnt of a method to Synthesize Programs from Requirements Specifications''; Int. J.on Software Eng. and Knowledge Eng., Vol.1 No.1, March 1991, pp.21--38. [Cooper:95] Cooper-Jones (caton?): Software Productivity measurement = See =P[Emrich:96] presentation at EBDT'96 Productivity C- Cobel=2x; Cobol - Smalltalk 2x ; Smalltalk - reusable objects 2x. [CourtneyJSSW:94] A. Courtney, W. Janssen, D. Severson, M. Spreitzer and F. Wymore: Inter-Language Unification release 1.5; Xerox PARC, ISTL-CSA-94-01-01, No. P94-00058), May 1994, ftp://ftp.parc.xerox.com/pub/ilu/ilu.html. [Corbato:92] Fernado Corbato: " ", 1992 Turing lectures. = we must eecgnize that we will always build systems that fail. [CorellaKWY:84] Francisco Corella, S.J. Kaplan, G. Wiederhold, and L. Yesil: "Cooperative Responses to Boolean Queries"; Proc. IEEE First Data Engineering Conference, April 1984, pages 77-93. [Cox:94] Brad Cox: ``Superdistribution''; Wired, Idea Fortes section, Sep. 1994, http://www.site.gmu.edu/bcox/CEM The Coalition On Electronic Markets''; George Mason Un., Fairfax VA, 1994 [Cox:94] Brad Cox: The Coalition On Electronic Markets; http://www.site.gmu.edu/bcox/CEM/00CEM.html. [Cox:90] Brad Cox "Planning the Software Industrial Revolution"; IEEE Software, Nov.1990, pp 25-33= Brad is now into revenue on-line collection for SW Use, recent work on 1993 ACM SIGSOFT Symposium, (chaired by Barry Boehm) =get ftp://ftp.gmu.edu/bcox/WWW/WWWHomePage.html [Craig:91] Iain Craig: The Formal Specification of Advanced Problem-solving Architectures; Ellis Horwood, Chichester, UK, 1991. Contains Z specifications of a blackboard system and the sequential component of a CASSANDRA system. A number of interesting properties are proved for blackboard systems. The book provides as a semantics for CASSANDRA systems. [CramsieEa:97] Bill Cramsie et al: CIIMPLEX Reference Architecture; Consortium for Integrated Manufacturing Protocols (CIIMPLEX), Atlanta GA. =SW= [CreecyHS:92] Robert H. Creecy, Brij M. Masand, Stephen J. Smith: "Knowledge Engineering"; Com.ACM, Vol.35 No. 8, August 1992, pages 48-64. Thinking machine classification of census industry and occupational data in natural language. [Cronin:??] May J. Cronin: Doing Business on the Internet; VanNostrand Reinhold (800 842-3636) = for business users. [Culnan:91] Mary J. Culnan: The Lessons of the Lotus MarketPlace:
Implications for Consumer Privacy in the 1990’s; CFP’91. =I3= [Cuppens:96] Frederic Cuppens: "Querying a Multi-level Database: A Logical Analysis"; VLDB 96, pp.484-494,. = MLS query infrence, combines view approach of =P[SmithW:92] Winslett; with trusted overrides. Lower level queries, in case of contradiction, become cover stories. Ordering by need-to-know topics. Can lead to policy differences. Also reviews =P[Lunt:91]; =P[Spalka:94], =P[SandhuJ:92] Jojodia. Plyinstatiation to inhibit signalling or to support cover stories. TIHI=. [Curtis:80] B. Curtis: "Measurement and Experimentation in Software Engineering"; Proc. IEEE, Vol.68, pp.1144-1157 , 1980. =SW= [Curtis:85] B. Curtis: Human Factors in Software Development; IEEE CS Press, 1985. =SW= [Cuthbert:99] Adrian Cuthbert: "OpenGIS: Tales from a Small Market
Town"; in Vckovski, Brassel, and Schek: Interoperating Geographic
Information Systems, Springer LNCS 1580, 1999, pp.17-28. =I3= [Cutkosky:93] M.Cutkosky, R.S. Engelmore, R. Fikes, M.R. Genesereth, T.R. Gruber, W.S. Mark, J.M. Tenenbaum, and J.C. Weber: "PACT: An Experimental in Integrating Engineering Systems"; IEEE Computer, Vol.26 No.1, 1993, pp. 28-37. [CypherST:99] Allen Cypher, David Canfield Smith, Larry Tesler:
Visual Interactive Simulations; Stagecraft Software, Inc., Palo Alto,
CA; http://www.stagecraft.com, 1999. =I3= [Czerwinski:98] Tom Czerwinski: Coping with the Bounds,
Speculations on Nonlinearity in Military Affairs; CCRP, NDU, 1998
[DahlDH:72] O-J. Dahl, E.W. Dijkstra, and C.A.R.Hoare: Structured
Programming; Academic Press, 1972. =I3= [DAllotto:96] L. J. D'Alotto: "Internet Firewalls Policy Developmemt and Technology Choices"; Proc. 19th National Information Systems Security Conference, Nist and National computer Security Center, Baltimore, MD, 1996, pp.259-266. =TIHI= [DampierB:94] Dave Dampier and Valdis Berzins: "Software Change-Merging in Dynamic Evolution"; NPGS workshop Proceedings 1994.= also see WS 1993 proceedings, slicing of a piece of a program, modifying it, and then prove that 'affected' behavior of the slice is invariant when re-merging. Permits merging of versions. =SW= [DampierLB:94] David Dampier, Luqi, and Valdis Berzins: "Automated Merging of Software Prototypes"; Journal of Systems Integration; Vol.4, 1994, pp.33-49. =SW= [DasSTM:94] A.K. Das, Y. Shahar, S.W. Tu, and M.A. Musen: "A temporal-abstraction mediator for protocol-based decision support"; [DaoP:96] S. Dao and B. Perry: "Information Mediation in Cyberspace: Scalable Methods for Declarative Information Networks"; in Wiederhold (editor): Intelligent Integration of Information, Kluwer Pubs., 1996. =I3= [DateD:93] C.J. Date and Hugh Darwen: A Guide to the SQL Standard, 3rd ed; Addison Wesley, June 1993. [Davenport:92?] Tom Davenport: "Reinventing Industry through Information Technology" =@Ernst and [DawsonQS:98] Steve Dawson, Shelley Qian, and Pierangela Samarati: "SecurevInteroperation of Heterogeneous Systems: A Mediator-based Approach"; submitted to SEC 98. = TIHI, SAW. [DayalH:83] U. Dayal and H.Y. Hwang: ``View Definition and Generalization for Database Integration in Multibase: A System for Heterogeneous Databases"; IEEE Trans. Software Eng., Vol.SE-10 No.6, Nov.1983, pp.628--645. [DeanW:91] Thomas Dean and Michael Wellman: Planning and Control; Morgan Kaufmann, 1991. [DeBellisH:95] Mike Debellis and Christine Haapala: "User-centric Software Engineering (USE)"; IEEE Expert, February, 1995, Volume 10, No. 1. =SW= [DeChampeuxLF:93] Dennis deChampeaux, Douglas Lea, Penelope Faure: Object-Oriented System Development; Addison-Wesley, HP series, 1993. =SW= @HewlettPackard [DegouletEa:94] Patrice Degoulet et al.: The HELIOS European Project on Software Engineering; = collection of papers about a Software Engineering Environment for Medical applications. Copy in Gio's office. =SW= @ Broussais Un.Hospital Paris,Med.Inf.Dept, Paris 75014, France [DeGraceS:93] Peter DeGrace and Leslie Hulet Stahl: The Olduvai Imperative: CASE and the State of Software Engineering Practice; PrenticeHall, 1993. = Software Engineering compared to the organization of work and tools in greece (individual) versus rome (managed). =SW= [DeGraceS:95] Peter DeGrace and Leslie Hulet Stahl: Wicked Problems, Righteous Solutions; 1995? . = Lighthearted critique of SW development models. =SW= [DeJesus:95] Edmund DeJesus: "Big OOP, no Ooops"; Byte; Aug.1995, pp.74-78. =infomercial for Shlaer-Mellor method wrt. to Life-cycle =P[Sosa:95]=SW= [DelisR:92] A. Delis and N. Roussopoulos: "Performance and Scalability of Client-Server Database Architectures"; 18th Int. Conf. on Very Large Data Bases, Vancouver, British Columbia, Canada, 1992, 610-623. [DeMichiel:89] Linda DeMichiel: ``Performing Operations over Mismatched Domains"; IEEE Data Engineering Conference 5; Feb.1989; IEEE Transactions on Knowledge and Data Engineering, Vol.1 No.4, Dec.1989. =I3= [Denning:82] Dorothy Dennning: Cryptography and Data Security; Addison-Wesley, 1982. =TIHI= [DenningDS:79] D. Denning, P. Denning, and M. Schwartz: "The tracker: A threat to statistical database security"; ACM Trans. on Database Systems, Vol.4 No.1, pp.76--96, March 1979. =TIHI+ [DenningM:95] Peter Denning and Mark Mendelbaum: ``The ACM Copyright Policy''; Comm. of the ACM; April 1995. [DenningR:95] Peter Denning and Bernard Rous: ``The ACM Electronic Publishing Plan; Comm. ACM, April 1995. [DenningD:97] Peter Denning and Dorothy Denning (eds.): Internet Besieged: Countering Cyberspace Scofflaws, ACM Press, 1997. =TIHI= [DenningM:97] Peter Denning and Bob Metcalfe (eds): Beyond
Computation; ACM, 1997. =I3= [DeRoseD:94] De Rose and Durand: Making Hypertext Work; Kluwer 1994 = description of HMTL and HyTime. [DeWittMFV 90] D.J. DeWitt, D. Maier, P. Futtersack, and F. Velez: "A Study of Three Alternative Workstation-Server Architectures for Object-Oriented Database Systems"; 16th Int. Conf. on Very Large Data Bases, Brisbane, Australia, 1990. [Derr:92] M.A. Derr: Adaptive Optimization in a Database Programming Language; Ph.D. dissertation, Stanford University, December 1992, Technical Report STAN-CS-92-1460 [Dertouzos:86] Michael L. Dertouzos: "The Multiprocessor Revolution: Harnessing Computer Together"; Technology Review, Vol.89 No.2, March 1986, MIT, pages 44-57. [Deux:90] O. Deux: "The Story of O2"; IEEE Transactions on Knowledge and Data Engineering, Vol.2 No.1, March 1990. [DevanbuBSB:91] Premkumar Devanbu, Ronald Brachman, Peter J. Selfridge, and Bruce W. Ballard "LaSSIE: A Knowledge-based Software Information System"; Comm.ACM, Vol.34 No.5, May 1991, pp.35-49. = A Class-based CASE tool for reuse in telephone. In special issue on Software Engineering. [DeZegherEa:88] I. DeZegher-Geets., A.G. Freeman, M.G. Walker, R.L. Blum and G. Wiederhold: ``Summarization and Display of On-line Medical Records"; M.D. Computing, Vol.5 no.3, March 1988, pp.38-46. [DiffieH:76] Whitfield Diffie and Martin E. Hellman: "New Directions in Cryptography"; IEEE Trans.Inf.Theory, vol IT-22, 1976, pp.644-654= public key encryption. [diPaolo99] Andy diPaolo: Stanford on Demand; The Stanford Center for
Professional Development; http://scpd.stanford.edu/overview/overview.html, 1999. =I3= =NII= [DISA:94] DISA TRIK?: Technical Reference for Evaluation of Standards; . =SW= [DISA:96] Joint Technical Architecture (JTA) Overview; Appendix B, List of Mandated Standards and Sources, DISA, US Dept. of Defense, Center for Standards, 701 S. Courthouse Road, Arlington, VA 22204; the 1996 version is on JTA Web-page: http:96//www.itsi.disa.mil/jta/apb.html, 1996=SKC= [DoD:85] Dep.of Defense: Trusted Computer System Evaluation Criteria; 1985. =The orange book, defines A1- B3? =TIHI= [Dodson:95] Donna Dodson: Minimum Interoperability Specification for PKI Components"; http://csrc.ncsl.nist.gov/pki 1996. =SW= MEGA [DoE:93] Dep. of Energy: DoE White Paper on Bio-Informatics; URL http://www.gdb.org/Dan/DOE/whitepaper/contents.html, 1993. = ignores heterogeneity. [DolinEa:98] R.H. Dolin, S.M. Huff, R.A. Rocha, K.A. Spackman, and K.E. Campbell: "Evaluation of a 'Lexically Assign, Logically Refine' Strategy for Semi-automated Integration of Overlapping Terminologies"; Journal of the American Medical Informatics Association, Mar/Apr 1998. =In this paper, the authors describe their use of a hybrid combination of lexical and logic based strategies to merge terms from two ontologies. The two ontologies are SNOMED (Systemized Nomenclature of Human and Vetinary Medicine) and LOINC (Logical Obse rvation Identifier Names and Codes). SNOMED provides, among other things, a hierarchical classification of laboratory procedures without detailed laboratory terms which are necessary for reporting laboratory information. LOINC contains test result ident ification codes suitable for standardized reporting of laboratory information. Thus, there was much to be gained from merging both data models. The authors started with lexical techniques to merge the terms. To derive the terms to be compared, each string was first normalized. The normalization process involved breaking each string into its constituent words, lower-casing the words, removing pu nctuation, expanding abbreviations, substituting preferred terms for synonyms , etc. Following this process, LOINC concepts were put into appropriate locations in the SNOMED hierarchy. Logic-based techniques were then used to define the concepts and to map and classify terms based on the term definitions [D.Verheijen] =SKC=. The authors believe (and I concur) that their strategy works well if terminologies from both ontologies can be logically defined using the same model. Also, the availability of an existing value restrictions drawn From the SNOMED hierarchy allowed for a highly automated process of merging the terms. Thus, their strategy may not work as well for other merging efforts. [Dorfman:91] P. Dorfman: "FuNeGen 1.0 "; The Molloy Group, Parsippany, NJ, 1996.=SKC= [Doszkocs:86] Tamas E. Doszkocs: ``Natural Language Processing in Information Retrieval"; J.Am.Soc.Inf.Sci., Vol.37 No.4, Jul.1986, pp.191--196. [DownsWB:86] S.M. Downs, M.G. Walker, and R.L. Blum: ``Automated summarization of on-line medical records"; IFIP Medinfo'86, North-Holland 1986, pp.800-804. [Doyle:91] J. Doyle and R. Patil: "Two theses of knowledge representation: Language restrictions"; taxonomic classification, and the utility of representational services, J. Artificial Intelligence, 48, 261-297, 1991.=SKC= [Dunstan:89] James E. Dunstan (ed.): Knobots in the Real World; Report of Workshop on the Protection of Intellectual Property Rights in a Digital Library System, Corp. for Nat. Res. Initiatives, Reston VA., May 1989. [Dutcher:89] G.A. Dutcher: ``DOCLINE: A National Automated Interlibrary Loan Request Routing and Referral System'; Inf.Technol.Libraries, Vol.8, 1989, pages 359--370. [Dykstra:79] Edsger W. Dijkstra: A Discipline of
Programming; Prentice-Hall, Englewood Cliffs, N. J, 1979. ISBN
0-13-215871-X =Zaki hasan: This is one of the classics of computer
programming Dijkstra's theme is a rigorous and methodical way of
developing (small) programs. One of his ideas is that it pays to view
a program text as a mathematical object rather than as a sort of
machine. Some people dislike his approach because it is so
"mathematical", but if you have trouble handling formulas you are in
the wrong business and if you don't like a logical view of programs
Prolog is not for you. Dijkstra's methods are developed for an
imperative language with 'dont-care nondeterminism'. The approach
carries over very will indeed to Prolog. =SW= [Dyson:95] Esther Dyson: "Intellectual Value"; Wired, Vol.3 No.7 July 1995, pp.136-141,182-184.= An article on the diminishing value of contents [Dyson:97] Esther Dyson: Release 2.0: A Design for Living in the
Digital Age; Broadway Books, 1997. =I3= [ECMA:93] ECMA TC33: Portable Common Tools Environment (PCTE), 1992. [ElmagarmidLLR:90] Ahmed Elmagarmid, Y.Leu,Y., W.Litwin, and M.Rusinkiewicz: ``A Multidatabase Transaction Model for Interbase''; Proceedings of the Conference on Very Large Databases 16, Morgan Kaufman pubs. 1990. [ElMasriW:79] Ramez El-Masri and Gio Wiederhold: ``Data Model Integration Using the Structural Model"; Proc. 1979 ACM SIGMOD Conference, pages 191-202. [ElMasriN:89] Ramez ElMasri and Sham Navathe: Fundamentals of Database Systems; Benjamin Cummins, 1989 = Entity- relationship diagramming. =SW= [EmbleyKW:92] David W. Embley, B.D. Kurtz, and Scott N. Woodfield: Object-Oriented System Analysis: A Model Driven Approach; Yourdon series, Prentice-Hall, 1992. =for recent work by Stephen Liddle see http://osm7.cs.byu.edu/ =SW= [EMS:94] Charta of Free Electronic Access to Publications; European Mathematical Society, Dec.1994, at [ems-e-jour-committee@esi.ac.at]. [Enderton:72] H. B. Enderton: "A Mathematical Introduction to Logic"; Academic Press, New York, 1972.=SKC= [Esculier:89] Christian Esculier: Introduction a la Tolerance Semantique; PhD thesis, Un.Joseph Fournier, Grenoble, 1989. [ESPRIT:99] Esprit, the EU information technologies programme;
http://www.cordis.lu/esprit/home.html =I3= =TT= [Esprit:93] Esprit Consortium AMICE: CIMOSA: Open System Archiecture for CIM; Revised and extended edition; Springer 1993.= 18 companies. Ed Beadle, cons.director, British Aerospace plc =SW= [EswaranGLT76] K.P. Eswaran, J.N. Gray. R.A. Lorie, and I.L. Traiger. The Notion of Consistency and Predicate Locks in Database System. Communications of the ACM, Vol 19, No. 11, November 1976, 624-633. [Faloutsos:85] Christos Faloutsos: "Access Methods for Text"; ACM Computing Surveys, Vol.17 no.1, Mar.1985, pp.49--74. = DBDbiblio [FaloutsosEa:94] C. Faloutsos, R. Barber, M. Flickner, J. Hafner, W. Niblack, D. Petrovic, and W. Equitz: ``Efficient and Effective Querying by Image Content"; Journal of Intelligent Information Systems, Kluwer Academic Publishers, Vol. 3, 1994, pages 231--262. [FeigenbaumWRS:95], Edward Feigenbaum, Gio Wiederhold, Elaine Rich,
and Michael Harrison: Advanced Software Applications in Japan;
Noyes Publications, 1995. =I3= [FenselDES:98] Dieter Fensel, Syefan Dekker, Michael Erdman, and
Rudi Studer: "Ontobroker, Or how to Enable Intelligent Access to the
WWW"; 11th workshop on Knowledge Acquisition, Modelimg, and
Management (KAW'98), Banff April 1998. =SKC= =I3= Web pages are
annoted by their registered providers, using a defined ontology, to
have consistent access. [FieldingFB:96] R.Fielding, H. Frystyk, and Tim Berners-Lee:
Internet draft: Hypertext Transfer Protocol HTTP 1.1;
http://WWW.w3.org/hypertext/WWW/Protocols/HTTP/1.1/spec.html, Jan
1996. =I3= =NII= HTTP specification. [FikesF:97] Richard Fikes and Adam Farquar: Large-Scale Repositories of Highly Expressive Reusable Knowledge; Stanford KSL report 97-02, April 1997.. =SKC= [FikesCGB:91] R. Fikes, M. Cutkosky, T.R. Gruber, and J.V. Baalen: Knowledge Sharing Technology Project Overview; Knowledge Systems Laboratory, KSL-91-71, November 1991. [Filman:88] Robert E. Filman: ``Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environments''; Comm. ACM, Vol.31 No.4, Apr.1988, pp. 382-401. [FininWEa:90] Tim Finin, Gio Wiederhold, et al: Initial KQML specification; available from the WWW with the URL http://www.cs.umbc.edu/kqml/kqmlspec/spec.ps. [FininEa:96] T. Finin, et al.: "Knowledge Query and Manipulation Language (KQML)";: http://www.cs.umbc.edu/kqml, 1996/=SKC= [FininEa:94] Tim Finin et al: On Software Agents; http://www.cs.umbc.edu/kqml/..., 1994 =SW= [FininFME:94] Tim Finin, Richard Fritzson, Don McKay, and Robin McEntire: ``KQML as an Agent Communication Language''; The Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), ACM Press, November 1994. [Filman:88] Robert E. Filman: ``Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environments''; Comm. ACM, Vol.31 No.4, Apr.1988, pp. 382--401. [Fisher:92] Gerhard Fischer: "Domain-Oriented Design Environments"; Proceedings of the 7th Annual Knowledge-Based Software Engineering Conference, September 1992, McLean, Virginia, Rome Laboratory, pub... [Fisher:94] David Fisher: Adanced Technology Program, Component-Based Software (94-06); National Institute of Standards and Technolgy, U.S. Dep.of Commerce. 1994. FishwickH:98] Paul Fishwick and David Hill, eds: 1998 International Conference on Web-Based Modeling & Simulation; Society for Computer Simulation, Jan 1998, http://www.cis.ufl.edu/~fishwick/webconf.html. [FlanaganHJK:97] Flanagan, Huang, Jones, and Kerf (eds): Human-
Centered Systems: Information, Interactivity, and Intelligence,
National Science Foundation, 15 July 1997, pp.218-221. =I3= [FloresW:85] Feranando Flores and Terry Winograd or vv.: ? ;
1985. = first occuureence of the term ontology in its modern
sense. =P[=SKC=] [FlorescuRV:158] Daniela Florescu, Louiqua
Raschid, Patrick Valduriez: "Using Hereterogneous Equivalence for
Query Rewriting in Multidatabase Systems"; COOPIS95, Vienna Austria,
May 1995, pages 158-169. = Rules for scope matching. Available from
coopis@cs.toronto.edu. [Fowler:99] Martin Fowler: UML distilled 2nd ed.;
Addison-Wesley, 1999. =SW= just the essentials, good
introduction. Alternatives to "UML distilled" are: "UML Toolkit", by
Eriksson and Penker, 1998 (more in depth), "Using UML", by R. Pooley
and P.Stevens, 1999, or another UML book covering the basic UML
notations. [Fox:93] Edward Fox: Sourcebook for Digital Libaries; gopher to fox@cs.vt.edu, 1993. [FraileyTZ:91] Dennis J. Frailey, A. Joe Turner, Stuart H. Zweben: "Adequacy and Health of Academic-Industry Coupling";Comm.ACM, Vol.34 no.10, Oct.1991, pp 126-128. =TT [FranchittiKB:94] J.C. Franchitti, R. King, and O. Boucelma: ``A Toolkit to Support Scalable Persistent Base Infrastructures''; in Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, France, September 1994, Springer-Verlag LNCS. [FranklinCL:93] M.J. Franklin, M.J. Carey, and M. Livny: "Local Disk Caching for Client-Server Database Systems"; 19th Int. Conf. on Very Large Data Bases, Dublin, Ireland, August 1993, pp.641-654. [FreskoTCM:98]]. Marc Fresko, Ken Tombs, Sue Chamberlain, Patricia
Manson: Digital Preservation Guidelines: The State of the Art;
study performed for the European Commission, DG XIII-E/4, Applerace
Limited, Dec.1998. =I3= [Freytag:87] Johann Christian Freytag: "A Rule-based View of Query
Optimization"; Proc. ACM SIGMOD, 1987, pp.173--180. [FriederS:91] Ophir Frieder and Mark E. Segal: "On Dynamically Updating a Computer Program: from Concept to Prototype"; J. of Sy
stems Software, Elseviers, Vol.14, pp.111- 128, 1991. [GabrielianF:91] Armen Gabrielian and Mathew K. Franklin "Multi- Level Specification"; Comm.ACM, Vol.34 No.5, May 1991, pp.51-60. = from hardware on up. In special issue on Software Engineering. =SW= [GaedeG:98] Volker Gaede and Oliver Gunther: "Multidimensional Access Methods"; ACM Comp.Surveys, Vol.30 no.2, June 1998, pp.170:231. [GammaHJV:94] Erich Gamma, Richard Helm, Ralph Johnson, John
Vlissides: Design Patterns, Elements of Reusable Object-Oriented
Software (GOF); 1994/95 =SW= the Unified Process. This is a high
quality and the classic book about design patterns, also called the
GoF book). Alternatives to the Design Pattern book of the GoF are:
"Patterns in Java, Volume 1" by Mark Grand, 1998 (contains all of the
GoF design patterns and applies them to Java, not as good as the other
book) [GarciaMolinaW:82] Hector GarciaMolina and Gio Wiederhold:
"Read-Only Transactions in a Distributed Database"; ACM
Transactions on Database Systems, Vol.7 No.2, Jun.1982,
pp.209--234. [GarciaMolina:88] Hector GarciaMolina and D. Porter: Supporting Probabilistic Data in a Relational System; Princeton, TR-CS-147-88, Feb.1988. = SimQL [GarciaMolinaEa:95] H. Garcia-Molina, J. Hammer, K. Ireland,
Y. Papakonstantinou, J. Ullman, and Jennifer Widom: "Integrating and
Accessing Heterogeneous Information Sources in TSIMMIS"; In
Proceedings of the AAAI Symposium on Information Gathering, pp. 61-64,
Stanford, California, March 1995. = TSIMMIS mediators [GarciaP:96] H. Garcia-Molina and A. Paepcke: "Proposal for I**3
Client Server Protocol"; Technical Report, September 1996 =
Architecture & Implementation for TSIMMIS mediators [GarciaMolinaEa:97] H. Garcia-Molina, Y. Papakonstantinou,
D. Quass , A. Rajaraman, Y. Sagiv, J. Ullman, V. Vassalos ,J. Widom:
"The TSIMMIS approach to mediation: Data models and Languages"; In
Journal of Intelligent Information Systems, 1997. = TSIMMIS Mediators
=I3= [Garfinkel:00] Simson Garfinkel: Database Nation, The Death of Privacy
in the 21st Century; OReilly, 2000. =TIHI= A graphic and blistering indictment ..
[Ralph Nader], lists many problems, few solutions. [GarlanEa:95] David Garlan, Oscar Nierstrasz, Theo Dirk Meijler,
Gio Wiederhold, Frank Manola, Sandra Heiler, an Jeff Sutherland :
"Research Directions in Software Engineering"; ACM Comp. Surveys,
Vol.27 No.2, June 1995, pages 256-276. [GarlanAO:95] David Garlan, R. Allan, and J. Ockerbloom: "Architectural Mismatch: Why Reuse is so Hard"; IEEE Software, Nov. 1995, pages 17-26. =SW= [GarlanSOSS:92] David Garlan, Mary Shaw, Chris Okasaki, Curtis M. Scott, and Roy F. Swonger, Jose Galmes: "Experience with a Course on Architectures for Software Systems"; Proc.6th SEI Conf. on Software Engineering Education, Oct. 1992; also Part II Educational Materials, August 1994, report CMU-CS-94-178. =SW= [GarrettL:93] John R. Garrett and Patricia A. Lyons; "Towards an Electronic Copyright Management System'; Jrnl of the American Society for Information Science, vol.44 No.8, pages 468-473, Sep.1993. Overview of copyright use wrt digital libraries. Simplifies task of a mediator. [Gasser:88] M. Gasser: Building Secure Computer Systems; VanNorstrandReinhold, 1988. =TIHI =SAW [Gates:99] Bill Gates and Collins Hemingway: Business @ the
Speed of Thought: Using a Digital Nervous System; Warner Books,
470 pages. =I3= [GauseW:94] D. Gause and M. Weinberg: "Exploring Requirements: Quality Before Design"; ? = read by Francois Guimbretiere !francois@cs.stanford.edu| =SW= [Gelernter:94] David Gelernter:= "The Cyber-Road Not Taken"; Washington Post, 3 April 1994, page C1.= More Mediocity, Mom! Please? Includes new application ideas: Lifehistory, Video University, Vector search. Have original text. [Gelman:94] Stacey Gelman: "SILVER BULLET: An Iterative Model for Process Definition and Improvement"; AT&T Technical Journal, Vol.73 No. 4, Jul-Aug.1994, pp.35-45 = software process introduction and experience at a high level. =SW= [Genesereth:91] M. Genesereth: "DesignWorld"; in the Proceedings of the 1991 IEEE International Conference on Robotics and Automation, Sacramento, CA, April 1991, pp. 2785-2788. [GeneserethF:92] M.Genesereth and R. Fikes: Knowledge Interchange Format (KIF); Reference Manual, Stanford University CSD, 1992, Updated 1996, http://logic.stanford.edu/kif/.. =SKC= [Genesereth:92] Michael Genesereth: ``An Agent-Based Framework for Software Interoperability''; Procedings ARPA Software Engineering Conference, Los Angeles 1992, Meridian Corporation, Arlington VA, pp.359-366; < [GeneserethS:93] Michael R. Genesereth and Narinder P. Singh: ``A Knowledge Sharing Approach to Software Interoperation"; Stanford University, 1993. [GeneserethK:94] Michael Genesereth and Steven Ketchpel: ``Software Agents''; Comm. ACM, Vol.37 No.7, July 1994, pp.48-53,147. [GeneserethSS:94] Michael R. Genesereth, Narinder P. Singh and Mustafa A. Syed: ``A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation"; Proc. Int.Symp. on Fifth Generation Comp Systems, ICOT, Tokyo, Japan, Vol.W3, Dec.1994, pp.125-139. [Genesereth:96] M. Genesereth: "Knowledge Interchange Format (KIF)"; http://logic.stanford.edu/kif/kif.html, 1996=SKC= [GennariCAM:98] J. H. Gennari, H. Cheng, R. B. Altman, & M. A.
Musen: "Reuse, CORBA, and Knowledge-Based Systems"; Int. J.
Human-Computer Sys., Vol.49 No.4, pp.523-546, 1998. [GerhartCR:94] Susan Gerhart, Dan Craigen, and Ted Ralston:
"Experience with Formal Methods in Critical Systems"; IEEE Software,
Jan. 1994. [Gibbs:94] W.Wayt Gibbs: "The Software Crisis"; Scientific American, Sep.1994. [Gilb:88] Tom Gilb: Principles of Software Engineering; Addison- Wesley, 1988. =SW= [Gilham:89] L.-M. Gilham, Goldberg, A., and Wang, T.C.: "Toward reliable reactive systems. In"; Proceedings of the 5th International Workshop on Software Specification and Design, Pittsburgh, 1989.=SKC= [Ginsberg:90] Matt Ginsberg: ``Knowledge Interchange Format: The KIF of Death''; Communications of the ACM, Vol.33 No.8, Aug.1990. [GlaserAG:83] Edward M. Glaser, Harold Abelson, Kathalee Garrison: "Putting Knowledge to Use"; Jossey-Bass, SF, 1983 = Technology Transition, Knowledge Utilization and Policy or Organizational Change and Adoption of Innovation, supported by NIMH =P[Howard Davis, Susan Salasin]. [Goguen:88] J. A. Goguen, and T. Winkler: "Introducing OBJ3. Technical Report SRI-CSL-88-09"; SRI International, Menlo Park, California, 1988.=SKC= [GohMS:94] Cheng Goh, Stuart Madnick and Michael Siegel: "Context Interchange: Overcoming the Challenge of Large Scale Interoperable Database Systems in a Dynamic Environment"; Proc. 1st International Conference on Information and Knowledge Management (CIKM) 1994. = description of conversions needed in financial applications using multiple sources with differing ontologies. [Gomery:94] Douglas Gomery "In Search of the Cybermarket"; The Wilson Quarterly, Summer 1994, pp.8-17. = Prof. at Un maryland, dep. of Communication warns us to be realistic about the benefits and commercial potential of the NII. Avoid making it a Superhypeway. Educational, etc services on Cable TV did not make it because the benefits were not economically worth it. People won't cange, only 25% readbooks. Switched vs non-switched systems. [GoldmanN:92] N.M. Goldman and K. Narayanaswamy: "Software Evolution through Iterative Prototyping"; 14th Int. Conf. on SW Eng., IEEE, May 1992. [Goldschmidt:96I]A. Goldschmidt: "An Approach to Information Mediation in the Industrial Domain"; in Wiederhold (editor): Intelligent Integration of Information, Kluwer Pubs., 1996. =I= [Goldschmidt:96N] Art Goldschmidt: "Report on NIIIP"; CACM, Vol.39 No.3, March 1996, pp.100-103= =SW= =I3= Infrastructure protocols. [Gong:98] YiHong Gong: Intelligent Image Databases: Towards Advanced Image Retrieval; Kluwer publishers, 1998. = describes QBIC, indexing, but focuses on his ARBIRS system, which does shape-based rerieval. Uses segmentation and texture-based regions. Evaluation is based on 50 image classes. =image= [GongQ:96] L. Gong and X. Qian: "Computational Issues in Secure Interoperation"; to appear in IEEE Transactions on Software Engineering, IEEE, January 1996. [Gore:99] Al Gore: Proposal of Bill of Rights for Internet Privacy;
New York University Commencement Speech, May 1998. =I3= [GoslingM:95] James Gosling and Henry McGilton: The JAVA Language Environment: a White Paper; Sun Microsystems 1995, http://java.sun.com/whitePaper.favawhitepaper_1.html. [GPO:97] Global Policy Organization: UN Global Policy Site; 1997, http://www.globalpolicy.org.. =SKC= [GravanoGT:94] Luis Gravano, Hector Garcia-Molina, and Anthony
Tomasic: ``The Effectiveness of GLOSS for the Text Database
Discovery Problem''; Proc. of the 1994 ACM SIGMOD, ACM Sigmod
Record, Vol.23 No.2 May 1994, pp.126--137. [Gray:99] Jim Gray: "What Next? A Dozen Information-Technology Research\
Goals", June 1999. [RedwineR:85] Samuel T. Redwine and William E. Riddle: "Software
Technology Maturation", London, England, August 1985; image on
[GrayEa:98] David N. Gray, John Hotchkiss, Seth LaForge, Andrew
Shalit, and Toby Weinberg: "Modern Languages and Microsoft's Component
Object Model"; Com.ACM, Vol.41 No.5, May 1998, pages 55-65. =
has some relevant information for =CHAIMS= [GrayR93] J. Gray and A. Reuter: Transaction Processing: Concepts and Techniques, Morgan Kaufmann Publishers, Inc, 1993. [GreenLBCR:83] Cordell Green, David Luckham, Robert Balzer, Tom Cheatham and C. Rich: "Report on a Knowledge-Based Software Assistant," RADC TR 83-195, Contract No. F30602-81-C-0206, Kestrel Institute, Palo Alto, California, June 1983. =SW= [Gries:81] David Gries: The Science of Programming; Texts and Monographs in Computer Science, Springer Verlag, New York 1981, ISBN 0-387-90641-X. = Zaki Hasan: This text-book is based on Dijkstra's approach, but it is bigger, with more examples and lots of exercises. If you want to master the "discipline of programming" approach, this is the text book to get. I strongly recommend this book. =SW= [GriffithW:76] Pat P. Griffiths and B.W. Wade: "An authorization mechanism for a relational database system"; ACM Transactions on Database Systems; Vol.1 No.3, 1976, pp.242-255. =TIHI= [Grobe:94] M.Grobe: An instanaeous Introduction to GCI scripts and
HTML forms; http://www.cc.ukans.edu/~acs/docs/other/forms-intro.shtml,
1994. =I3= =NII= GCI documentation. [GronbaekT:94] Kaj Gronbaek and Randall H. Trygg: "Hypermedia
System Design Applying the Dexter Model"; Comm.ACM, vol.37 No.2,
Feb.1994, pp.27-108. = Special issue with several articles on text
browsing [GreenLM:91] Cordell Green, Michael Lowry and Robert McCartney: ``Automating Software Design: An Overview''; in Automating Software Design AAAI/MIT Press, 1991. =CHAIMS= [Green:92] Brian Green: "Technology on Five Fronts"; Air Force
Magazine, Vol.75 No.9, September 1992, pp.62-66. =I3= [Gruber:91] T.R. Gruber: ``The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases''; in Allen, Fikes, Sandewall (eds): Principles of Knowledg Representation and Reasoning: Morgan Kaufmann, 1991. [Gruber:92] T.R. Gruber: ONTOLINGUA: A Mechanism to Support Portable Ontologies; Knowledge Systems Laboratory, KSL-91-66, November 1992. [Gruber:92P] T.R. Gruber: "Toward principles for the design of ontologies used for knowledge sharing''; in Guarino (ed) International Workshop on Formal Ontology, Padova, Italy, 1992. [Gruber:93] Thomas R.Gruber: ``A Translation Approach to Portable Ontology Specifications''; Knowledge Acquisition, Vol.5 No. 2, pp.199--220, 1993. [GruberO:94] Thomas R. Gruber and Gregory Olsen: ``An Ontology for Engineering Mathematics''; in Doyle, Torasso, and Sandewall (eds.): Fourth International Conference on Principles of Knowledge Representation and Reasoning, Gustav Stresemann Institut, Bonn, Germany; Morgan Kaufmann, May 1994. [Gruber:94] Tom Gruber: Ontolingua Overview; http://www-ksl.stanford.edu/knwledge-sharing/ontolingua/README.html, 1994. [GruberO:94] Thomas R. Gruber and Gregory Olsen: ``An Ontology for Engineering Mathematics''; in Doyle, Torasso, and Sandewall (eds.): Fourth International Conference on Principles of Knowledge Representation and Reasoning, Gustav Stresemann Institut, Bonn, Germany; Morgan Kaufmann, May 1994. [Gruber:93] Thomas R. Gruber: ``A Translation Approach to Portable Ontology Specifications''; Knowledge Acquisition, Vol.5 No. 2, pp.199-220, 1993.. =SKC= [Gruber:95] Thomas R. Gruber: ``Towards Principles for the Design Of Ontologies Used for Knowledge Sharing"; Int. J. of Human-Computer Studies, Vol.43 No. 5-2, pp.907-928, 1995. =SKC= [Gruber:96] T. Gruber: "Ontolingua Reference Manual"; http://ksl.stanford.edu/knowledge-sharing/ontolingua/doc/reference-manual/index.html, 1996=SKC= [GSA:93] General Services Administration: A Guide for Acquiring Software Development Services; GSA, Information Resources Management Service, Washington DC, GPO; 1993 Sep., No.KMP-93-4- P. = This Guide was written by American Management Systems, Inc. Arlington VA. This Guide provides Government program, information resources management, and contracting officials with an introduction to the acquisition of software development services. =SW= [Guarino:97] Nicola Guarino: Presentation on Formal Ontologies; NCITS.TC.T2 ANSI ad hoc group on Ontology; 1997.. =SKC= [GuarinoG:95] Nicola Guarino and Pierdaniele Giaretta: "Ontologies and Knowledge Bases Towards a Terminological Clarification"; in N.Mars: Towards large Knowledge Bases, KBKS '95, 1995. = On Ontologies wrt defintion and use vs. vocabularies, schemas, knowledge-bases. Reviewed by Ida Sim.|guarino@ladseb.pd.cnr.it| @ Padova: =SKC= [GugliemoR:96] E.J. Gugliemo and Neil C. Rowe: "Natural Language Retrieval of Images based on Descriptive Captions" {\sl ACM Trans. on Information Systems}, Vol. 14 No.3, May 1996, pp.237-267. [Guha:91] R.V. Guha: Contexts: A formalization and some application; Doctoral dissertation, Stanford University. Also MCC Technical Report Number [ACT-CYC}-423-91, 1991.. =SKC= [Gupta: 89] Amar Gupta (editor): Integration of Information Systems: Bridging Heterogeneous Databases; IEEE Press, 1989. [GuptaMS93] A. Gupta, I.S. Mumick, and V.S. Subrahmanian: "Maintaining Views Incrementally"; ACM SIGMOD Int. Conf. on Management of Data, Washington, D.C., May 1993, 157-166. [HaasEa:90] L. Haas, W. Chang, G. Lohman, J. McPherson,
G. Lapis, B. Lindsay, H. Pirahesh, M. Carey, and E. Shekita:
"Starburst Mid-Flight: As the Dust Clears"; IEEE Transactions on
Knowledge and Data Engineering,Vol.2 No.1, March 1990. [HaddockH:94] G. Haddock and K. Harbison: ``From Scenarios to Domain Models: Processes and Representations"; Proceedings of the onference on Knowledge-based Artificial Intelligence Systems in Aerospace and Industry, SPIE, April 1994. [HadjiefthymiadesM:99] Stathes Hadjiefthymiades and Lazaros Merakos:
"A Survey of Web Architectures for Wireless Communication
Environments"; Computer Networks and ISDN Systems, Vol.28, May 1996,
p.1139, http://www.imag.fr/Multimedia/www5cd/www139/overview.htm.
=I3= [Hafer:89] Tom Hafer: Report on lack of progress on the Navy A-12 attack bomber; PBD-608, Oct.1989= An account which also shows how the the wrong view (based on cost reports) can hide development failures. See also Washington Post magazine, 29 Oct 1995. [HafnerL:96] Katie Hafner and Matthew Lyon: Where Wizards Stay Up
Late; Simon and Schuster, 1996. =I3= [Hague:95] T. Hague: "Configuration Management Tools: Do your Homework before Signing on the Dotted Line"; Computing Canada; Vol.21 no.5, 15 March 1995, pp.36, Plesman publications Ltd. Canada. = Configuration maintenance driven from helpdesk. Blackwood:95] =SW= [HainesKMNW:94] Nicholas Haines, Darrell Kindred, J.G. Morrisett, Scott M. Nettles, and jeanette M. Wing: "Composing First Class Transactions"; ACM TOPLAS, Vol.16 No.6, Nov.1994, pp.1719-1736. = A functional Standard Metalanguage packages concurrrency, locking, persistence, and serialization. =SW= [Halpin:95] Terry A. Halpin: Conceptual Schema and Relational Database Design, 2nd ed.; Prentice-Hall; |www.asymetrix.com|. = Object-role modeling (ORM), schema optimizartion and view-update on derived views, based on NIAM @asymetrix, Bellevue WA =SW= [Hamilton:99] Scott Hamilton: Taking Moore’s Law into the Next
Century; IEEE Computer, Jan. 99, pp. 43-48. =I3= [HamletT:90] D. Hamlet and R. Taylor: "Partition Testing does not inspire Confidence"; IEEE Trans. on SW Engineering, Vol.SE-16, Dec.1990, pp. 1402-1411. [HammerM:78] M. Hammer and D. McLeod: ``The Semantic Data Model: A Modelling Machanism for Data Base Applications"; Proc.. ACM SIGMOD 78, Lowenthal and Dale(eds), 1978, pp.26--36. [HammerEa:95] J. Hammer, H. Garcia-Molina, K. Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom: "Information Translation, Mediation, and Mosaic-Based Browsing in the TSIMMIS System"; In Exhibits Program of the Proceedings of the ACM SIGMOD International Conference on Management of Data, page 483, San Jose, California, June 1995. = TSIMMIS Wrappers =I3= [HammerEa:95] J. Hammer, H. Garcia-Molina, K. Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom: "Information Translation, Mediation, and Mosaic-Based Browsing in the TSIMMIS System"; In Exhibits Program of the Proceedings of the ACM SIGMOD International Conference on Management of Data, page 483, San Jose, California, June 1995. = TSIMMIS mediators =I3= [HammerAI:96] J. Hammer, R. Aranha, K. Ireland: "Browsing Object-Based Databases Through the Web"; Technical report, Stanford University, October 1996. = Information Browsing in TSIMMIS =I3= [HammerBEa:97] J. Hammer, M. Breunig, H. Garcia-Molina, S. Nestorov, V. Vassalos, R. Yerneni: "Template-Based Wrappers in the TSIMMIS System"; in Proc. SIGMOD 26, Int. Conf.Management of Data, Tucson AZ, ACM, May 1997. = TSIMMIS Wrappers =I3= [HammerGEa:97] J. Hammer, H. Garcia-Molina, J. Cho, R. Aranha, and A. Crespo: "Extracting Semistructured Information from the Web"; In Proceedings of the Workshop on Management of Semistructured Data. Tucson, Arizona, May 1997. = TSIMMIS Web Extraction =I3= [Hanson:87] Eric Hanson: ``A Performance Analysis of View Materialization Strategies"; Proc. ACM-SIGMOD 87, May 1987. [HansonEa:90] E.N. Hanson, M. Chaabouni, C.H. Kim, and Y.W. Wang: "A Predicate Matching Algorithm for Database Rule Systems"; ACM SIGMOD Int. Conf. on Management of Data, Atlantic City, NJ, May 1990, pp.271-280. [Hanson:92] E.N. Hanson: "Rule Condition Testing and Action Execution in Ariel"; ACM SIGMOD Int. Conf. on Managing Data; San Diego, CA, June 1992, pp.49-58. [HardwickSRM:96] Martin Hardwick, David Spooner, T. Rando, and KC
Morris: "Sharing Manufacturing Information In Virtual Enterprises";
Comm. ACM, Vol.39, No.2, Feb. 1996, pp.46-54. =I3= [HardyS:94] Darren R. Hardy and Michael F. Schwartz: Harvest User Manual; http://harvest.cs.colorado.edu, Oct. 1994. [HauslerLT:94] Hausler, Linger, and Trammell: "Adopting Clean Room SW Eng with a Phased Approach"; IBM Sys.J., Vol.33. no.1, 1994 = Rick Linger 301 240-8207 !lingerr@lfs.loral.com| =SW= [HayesRothEa:94] Barbara Hayes-Roth, K. Pfleger, P. Lalanda, P. Morignot, and M. Balabanovic: A Domain-Specific Software Architechture for Adaptive Intelligent Systems; Stanford Un. KSL report 94-11, march 1994. = Technology-specific rather than domain specific? [HayesRothSBHL:94] Barbara Hayes-Roth, E. Sincoff, L. Brownston, R. Huard, & B.Lent: Directed Improvisation; Knowledge Systems Laboratory, Technical Report KSL-94-61. =SW= [HayesRoth:94] Rick Hayes-Roth: Domain-Specific Software Architecure (DSSA). = rhayes@alfred.Teknowledge.COM| 1994. =SW= [HayesRoth:95] Frederick Hayes-Roth: "The JTF ATD Architecture for Agile"; Mobile, Collaborative Crisis response: A Case Study in Architecture-Driven Development." In D. Garlan (Ed.), Proc. First International Workshop on Software Architecture. Seattle: Dept. of Computer Science, Pittsburgh, PA: Carnegie-Mellon University, 1995.=SKC= [HardwickSRM:96] Martin Hardwick, David Spooner, T. Rando, and KC Morris: "Sharing manufacturing information in virtual enterprises"; Comm. ACM, Vol.39, No.2, Feb. 1996, pp.46-54. =TIHI= [He:97] J. He: "Performance and Manageability Design in an Enterprise Network Security System"; IEEE Enterprise Networking Miniconference 1997 (ENM-97), Montreal, Quebec, Canada, June 11-12, 1997. =TIHI= [Hearst:97] Marty Hearst: "Interfaces for Searching the Web"; in
Scientific American, Mer.1997. =I3= [HelalB:95] Abdelsalem Helal and Ravi Badrachalam: "COM versus CORBA: Will Microsoft Come Out on Top"; IEEE Computer, Vol.28 No.10, Oct.95, pp.61-62. =SW= [HellersteinS:93] J.M. Hellerstein and M. Stonebraker: "Predicate Migration: Optimization queries with Expensive Predicates"; ACM SIGMOD, May 1983, pp.267-375. = Illustra cost model generators can use inputsize, ... =P[MEGA, CHAIMS] [Henzinger:99] M.R. Henzinger, A. Heydon, M. Mitzenmacher and M. Najork:
"Measuring index quality using random walks on the Web"; Proc. WWW8,
page 213. =I3= methods include PageRank.
[HerrmanL:97] Robert Herrmann and Carl Lineberger (eds.): More Than
Screen Deep, Toward Every-Citizen Interfaces to the Nation's
Information Infrastructure; National Research Council, National
Academy Press, 1997. =I3= [HewittBS:73] C. Hewitt, P. Bishop, and R. Steiger: ``A Universal Modular ACTOR Formalism for Artificial Intelligence"; IJCAI 3, SRI, Aug.1973, pp.235-245. [Hewitt:88] Carl Hewitt: Knowledge Processing Organizations proposal; Nov.1988. [Hibbitts:96] Bernard J. Hibbitts : Yesterday Once More, Skeptics,
Scribes and the Demise of Law Reviews; Akron Law Review, Vol. 267,
Special Issue, 1996; http://www.law.pitt.edu/hibbitts/akron.htm,
1997. =I3= [HHS:93] Towards a National Health Information Infrastructure; DHHS April 1993. = cites savings based in the Medical and Health Insurance Information Reform Act of 1992, Washington DC, October 1992. [Hodges:98] Bob Hodges: "Component Specification and Conformance, What Components Must Expose to Compose"; OO Composition Workshop, Monterey CA, Jan 1998, paper013.html. = 2Texas Instruments and Sematech. [Hof:99] Robert D.Hof: “What Every CEO Needs To Know About Electronic
Business”; Business Week E-Biz, 22 March 1999, pp.2-12. =I3= [HofmeisterWP:92] C. Hofmeister, E. White and J. Purtilo: "Surgeon: a packager for dynamically reconfigurable distributed applications"; Proceedings of IEEE Conference on Configurable Distributed Systems, March 1992. [HofmeisterAP:92] C. Hofmeister, J. Atlee and J. Purtilo: Polylith User Manual UMD CSD Tech Report 2575. ftp://flubber.cs.umd.edu/docs/polylith.1.0.ps.Z [HolbrookSC:96] Hugh W. Holbrook, Sandeep K. Singhal, and David R. Cheriton. "Log-Based Receiver-Reliable Multicast for Distributed Interactive Simulation"; Proceedings of SIGCOMM'95, ACM SIGCOMM, 328-341, August 1995. =SimQL= Reliable Multicast [HorvitzHL:86] E.J. Horvitz, D.E. Heckerman, and C. Langlotz: ``A Framework for Comparing Alternate Formalisms for Plausible Reasoning''; Proc.AAAI-86, 1986, pp.210--214. = the paper has some confusing statements. [HNS:94] David Hsiao, Erich Neuhold and Sacks-Davis: xx SYSTEMS; Proceedings of DS-5, IFIP transactions A-25, North-Holland 1993. [Huff:54] Darrell Huff: How to Lie With Statistics; Norton, 1954. [HumphreysL:92] B.L. Humphreys and D.A.B. Lindberg: ``The Unified Medical Language Project: A Distributed Experiment in Improving Access to Biomedical Information''; MEDINFO 92, North-Holland, 1992, pp.1496--1500. [HumphreysL:93] Betsy Humphreys and Don Lindberg: The UMLS project : Making the conceptual connection between users and the information they need; Bulletin of the Medical Library Association, 1993, see also http://www.lexical.com.. =SKC= [Hundepool:96] A. Hundepool and L. Willenborg: "Argus: software for statistical disclosure control"; Third International Seminar on Statistical Confidentiality, Bled, 1996. =TIHI= [HuntR:79] H.B. Hunt III and D.J. Rosenkrantz: "The Complexity of Testing Predicate Locks"; ACM SIGMOD Int. Conf. on Management of Data, Boston, MA, May 1979, 127-133. [HursonBK:93] A.R. Hurson, M.W. Bright, S.H. Pakzad (ed.s): Multi-database Systems: An Advanced Solution for Global Information Sharing; IEEE Press, 1993. [Hsu:98] C-N. Hsu: "Initial Results on Wrapping Semistructured Web Pages with Finite-State Transducers and Contextual Rules"; AAAI'98 Workshop 'AI and Information Integration, Madison, July 1998. =An approach is described for learning wrappers which are specified as non deterministic finite automata. An attribute is a piece of information to be retrieved from the Web page, e.g. a name or affiliation. Borderlines between attributes are specified by so-called 'separators'. A separator is characterized by its left context and its right context. Each context is defined by a collection of disjunctive contextual rules. By means of these disjunctive rules the handling of variations in attribute sequences or of exceptions is enabled. A contextual rule is specified as a sequence of ground tokens and token classes. A token is a word, an HTML tag, a punctuation symbol, .... . An inductive generalization algorithm is used to induce contextual rules from training examples. A training example provides an ordered list of attributes together with the separators between these attributes; e.g., a training example could be an entry on a faculty page specifying a person's name, URL, and academic title. Induction is done by generalizing the tokens found in the training examples along a token taxonomy tree. The induced wrapper is a non-deterministic finite automaton: states represents the attributes and state transitions represent contextual rules defining the separators between attributes. The approach handles one page at a time. The extraction process handles text, but no link information. No transformations are performed as part of the extraction process. The approach exploits the structural knowledge as provided from the markup language. A GUI is offered for supporting the learning process. Advantages: Notion of separators is more general than delimiters (in some cases no explicit delimiter is present in a given text to separate two attributes). Notion of separators is not bound to HTML tags, thus sources which use other markup languages may be handled as well. Variations in the document structure may be handled by the contextual rules. [Hao Xu] =SKC= [IEEE:84] IEEE Software Magazine; regular special topic issues, since 1984. =SW= [IEEE1278:93] IEEE Standard: Protocols for Distributed Simulation Applications: Entity Information and Interaction; IEEE Standard 1278, IEEE Computer Society 1993. [INEL:93] "Ada Electronic Combat Modeling", OOPSLA'93, OOPSLA'93 Proceedings, ACM ISBN: 089791-661-1. [INEL:94] "Software Re-Engineering in Ada: A Practical Approach", TRI-Ada'94, TRI-Ada Proceedings, ACM ISBN: 0-89791-666-2 [INEL:95C] "Electronic Combat Model Reengineering", AJPO-MON-95-01, March 1995 [INEL:95M] "Software Maintainability Metrics Models in Practice", Crosstalk, November/December 1995, Volume 8 Number 11. [Intel:99] The Industry Standard: Intel to Add Personal ID Numbers to
Chips, 1/22/99; http://209.1.23.84/articles/display/0%2C1449%2C3240%2C00.html
=I3= [ISO/RDA:87] Working draft of ISO Remote Access Protocol; ISO/TC97/SC21 N 1926 (ANSI X3H2-87-210), Jul.1987. [ISO:92] Information Technology: Hypertext Time-based Structurinng Language (HyTime); ISO IEC10744, 1992. [ISX:94] ISX Corporation: Intelligent Integration of Information (I3); http://isx.com/pub/I3, 1994. =I3= [Iyer:95] H. Iyer: "Classificatory Structures: Concepts"; Relations and Representation, Textbooks for Knowledge Organization Vol.2, INDEKS Verlag, Woogstrase 36a, D-60431, Frankfurt, 1995.=SKC= [Jackson:82] M.A. Jackson: System Development; Prentice Hall, 1982.=Diagramming =SW= [Jackson:95] Michael Jackson: Software Requirements and Specifications; ACM Press, 1995. SW= [Jacobson:92] Ivar Jacobson: Object-Oriented Software Engineering; Addison-Wesley, 1992. =SW=. [Jacobson:95] Ivar Jacobson: Business Process Reengineering with Object Technology; ACM Press. 1995. [Jain:91] Raj Jain: ="http://www.cis.ohio-state.edu/~jain/books/perfbook.htm">The Art of Computer Systems Performance Analysis; John Wiley, 1991. = good statistical coverage, simulation. Also valid remarks about problems software building. =SW= [JajodiaL:90] Sushil Jajodia and Carl E. Landwehr: Database Security IV: Status and Prospects; North-Holland, 1990.=SW= =TIHI= [JajodiaNS:83] Sushil Jajodia, Peter Ng, and F. Springsteel: The
Problem of Equivalence for Entity-Relationship Diagrams; IEEE
Trans. SWEng., Sept.1983. [JanninkSVW:98] Jan Jannink, Pichai Srinivasan, Danladi Verheijen,
and Gio Wiederhold: "Encapsulation and Composition of Ontologies";
Proc. AAAI Summer Conf., Madison WI, AAAI, July 1998. =SKC=
[JanninckEa:99] Jan Jannink, Prasenjit Mitra, Erich Neuhold,
Srinivasan Pichai, Rudi Studer, Gio Wiederhold: "An Algebra for
Semantic Interoperation of Semistructured Data"; 1999 IEEE
Knowledge and Data Engineering Exchange Workshop (KDEX'99),
Chicago, Nov. 1999. =SKC= [JarkeA:95] Mathias Jarke et al.: The NATURE framework; RWTH Aachen, Germany. = Ralf Doemges email: !doemges@informatik.rwth-aachen.de| = Esprit project on Theories Underlying Requirements Engineering, address fundamental issues associated with the theory of knowledge representation and management, domain modeling and reuse, process guidance and traceability within requirements engineering [JelassiL:96] Th. Jelassi, H.-S. Lai: CitiusNet: The Emergence of a
Global Electronic Market, INSEAD, The European Institue of Business
Administration, Fontainebleau, France;
http://www.simnet.org/public/programs/capital/96paper/paper3/3.html;
Society for Information Management, 1996. =I3= [JensenMRS 90] C.S. Jensen, L. Mark, N. Roussopoulos, T. Sellis;
Using Caching, Cache Indexing, and Differential Techniques to
Efficiently Support Transaction Time; CS-TR-2413, University of
Maryland, February 1990. [Jiang:96] Rushan Jiang: Report on the SimQL project, submitted to
Prof. Wiederhold, CSD Stanford, August 1996. [Joch:95] Alan Joch: "How Software Doesn't Work"; Byte Magazine, Dec.95, pg.49-60. = Industrial use of software engineering. Building reliable code. Capability Measurement. Highly recommended =[Sosa:95] =SW= [JohnsonH:91] Lewis Johnson and D. Harris: "The KBSA Requirements Specification Facet: Aries"; Proceedings of the 6th Annual Knowledge-Based Software Engineering Conference, Syracuse, New York, September, 1991 [Johnson:91] Ray Johnson: Agents ;http://hitchhiker.space.lockheed.com/pub/AGENTS/htdocs/agent-home.html = mailing list for software agents. =SW= [JohnsonSV:95]Johnson DR, Sayjdari FF, Van Tassel JP.: Missi security policy: A formal approach; Technical Report R2SPO-TR001, National Security Agency Central Service, July 1995. =TIHI= [Jones:94] Neil D. Jones: Partial Evaluation and Automatic Program Generation; ? = Partial evaluation is automatic program specialization:given a program and knowledge of some of its input data, a partial evaluator produces another program which, when run on the missing data, gives the same result as running the original. =SW= @University of Copenhagen, Denmark [JonesCW:95] Vicky E. Jones, N. Ching, and M. Winslett: ``Credentials for Privacy and Interoperation''; Proc. New Security Paradigms '95 Workshop, La Jolla, California, August 22-25, 1995. =TIHI= [Jullig:93] R. Jullig: ``Appying formal software Synthesis''; IEEE Software, Vol.10 No.3, May 1993, pp.11-22. =SW= @kestrel A recent easy-to-read, but slightly dated overview of KIDS and Specware both [Kahle:97] Brewster Kahle: "Preserving the Internet"; in Scientific American, Mer.1997.
=I3= [Kahn:87] Robert E.Kahn: ``Networks for Advanced Computing''; Scientific American, Vol 257 No.5; Oct.1987, pp.136-143. [KahnEa:93] Robert Kahn et al: Proposal for Electronic Copyrights Management; Corporation for National Research Initiatives, Reston VA, 1993. [Kaman:94] Richard Kaman: Act Now to Preserve Information Rights; O'Reilly and Associates, Sebastopol CA, ="http://gnn.com/meta/imedia/features/copyright">http://gnn.com/meta/imedia/features/copyright. [KamelK:92] N. Kamel and R. King: "Intelligent Database Caching
Through the Use of Page-Answers and Page-Traces"; ACM Transactions on
Database Systems, Vol. 17 No. 4, December 1992, 601-646. [KanamoriU:90] T. Kanamori and M. Ueno: A Fixpoint Semantics for
Guarded Horn Clauses”; Institute for New Generation Computer
Technology: Fifth generation closure reports, TR0551, ICOT Aprol
1990. =I3= [KanasakiK:89] K. Kanasaki and T.L. Kunii: " Case-Based
Evolutionary World Model for Electronic Secretaries"; DASFAA 1, Seoul
Korea, Apr.1989, pp.35--42. = @ Ricoh Co, Ltd, Software Res.Ctr,
(Tokyo, Japan), Schema evolution derived from data. DBDschema [KanthB:88] M.R. Kanth and P.K. Bose: ``Extending an Assumption-based Truth Maintenance System to Databases''; IEEE CS Data Engineering Conference 4, Feb.1988, LosAngeles. [Kaplan:84] S.Jerrold Kaplan: ``Designing a Portable Natural Language Database Query System"; ACM TODS, Vol.9 No.1, Mar.1984, pp.1--19. [Kapoor:91] Mitch Kapoor: "A Software Design Manifesto: Time for a Change'; Dr.Dobbs, Jan.1991. =An alternative to Software Engineering as preached. [Karp:94] Peter Karp: Proceedings of the Meeting on the Interconnection of Molecular Biology Databases ;http://www.ai.sri.com/people/pkarp/mimdb.html, 1994. [Karlsson:95] EvenAndre Karlsson (ed.): Software Reuse: A holistic Approach; Wiley, 1995 = articles pertaining to the Esprit III REBOOT project =SW= [Karr:93] Robert N. Karr: Data Management Issues Associated with Stovepipe Systems; U.S General Services Administration, Information Resources Service, KMP-94-1-1, Occt. 1993.= General advice, references to Bill Inmon.. [KatoM:92] K. Kato and T. Masuda: "Persistent Caching: An Implementation Technique for Complex Objects with Object Identity"; IEEE Transactions on Software Engineering, July 1992. [KashyapS:96] V.Kashyap and A. Sheth: "Semantic and Schematic Similarities between Database Objects: A Context-based Approach"; VLDB Journal, 1996, Vol. 5 No.4 pp.:276--304.. =SKC= [Keen:81] P.G.W. Keen: "Information systems and organizational change"; Comm.ACM, Vol.24, pp.24, 1981. =MIS= This paper emphasizes the pluralistic nature of organizations. It discusses the changes in patterns of communication, influence, and control that often occur when new information systems are implemented, and it suggests strategies for minimizing social inertia and resistance.
[Kehoe:92] Brendan P. Kehoe: Zen and the Art of the Internet: A Beginner's Guide; Prentice Hall, 1992. =Brief but useful Internet guide with plenty of good advice on useful machines to paw over for data. Mr Kehoe's guide bears the singularly wonderful distinction of being available in electronic form free of charge. [Keller:85] A M. Keller: Updating Relational Databases Through Views; Ph.D. dissertation, Stanford University, February 1985, Technical Report STAN-CS-85-1040. [Keller:86a] A. M. Keller: "The Role of Semantics in Translating View Updates"; IEEE Computer, Vol.19 No.1, January 1986. [Keller:86b] A. M. Keller: "Choosing a View Update Translator by Dialog at View Definition Time"; VLDB 12, 12th Int. Conf. on Very Large Data Bases, Kyoto, Japan, August 1986. [Keller:86c] A. M. Keller: "Unifying Database and Programming Language Concepts Using the Object Model" (extended abstract); Workshop on Object-Oriented Database Systems, IEEE Computer Society, Pacific Grove, CA, September 1986. [KellerH:87] A. M. Keller and L. Harvey: A Prototype View Update Translation Facility; Report TR-87-45, Dept. of Computer Sciences, University of Texas at Austin, December 1987. [KellerH:93] A.M. Keller and C. Hamon: "A C++ Binding for Penguin: a System for Data Sharing among Heterogeneous Object Models"; 4th Int. Conf. Foundations of Data Organization and Algorithms, Evanston, October 1993. [KellerJA:93] A.M. Keller, R. Jensen, and S. Agarwal: "Persistence Software: Bridging Object- Oriented Programming and Relational Databases"; ACM SIGMOD, International Conference on Management of Data, May 1993. [KellerB:95] A.M. Keller and Julie Basu: ``A Predicate-based Caching Scheme for Client-Server Database Architectures''; VLDB 21, 21st Int. Conf. on Very Large Data Bases, Zurich, Switzerland, September 1995. [Kennedy:94] Randall C. Kennedy: "Unlock the power of OLE"; Windows Sources, vol.2 no.3, March, 1994, pp107 (14 pages). = Excellent Source, multiple articles on OLE; provided by Avery Kadison. =SW= [Kent:93] Stephen Kent: "Internet Privacy Enhanced Mail"; CACM Vol.36 No.8, August 1993, pp.48--60. [Kent:99] Robert E. Kent: Ontology Markup Language;
http://wave.eecs.wsu.edu/CKRMI/OML.html, Feb.1999 =I3= [KentF:99] Stephen Kent and Warwick Ford: Public-Key Infrastructure
Working Group;. http://www.ietf.org/html.charters/pkix-charter.html,
1999. =I3= [Kern:1994] Harris Kern: Rightsizing the New Enterprise; Sunsoft/Prentice-Hall 1994. = The move to client-server systems =MIST= http://www.sun.com/smi/ssoftpress [KetchpelGP:97] Steven P. Ketchpel, Hector Garcia-Molina, Andreas
Paepcke : Shopping Models: A Flexible Architecture for Information
Commerce; Digital Libraries '97, ACM 1997. =I3= [Kiczales:94] Gregor Kiczales: talk on component code synthesis; OOPSLA, 1994. =SW= [Kieburtz:94] Richard B.Kieburtz: ``Generating Software from Specifications''; Proceedings of the Monterey Workshop on Formal Methods, Luqi (ed.), U.S.Naval Post Graduate School, Sept. 1994, pp.122--128. [KieslerWC:94] Sara Kiesler, D. Wholey and K. Carley: "Coordination as linkage: The Case of Software Development Teams"; in D.H. Haaris: 'Organizational Linkages: Understanding the Productivity Paradox'; National Academy Press, 1994. @Social and Dec.Sc.dep.,CMU [Kilgour:95?] Frederick Kilgour: The Evolution of the Book; Oxford Univ.Press, 1998. = Ed Fox wanted a reference. [Kim:95] Won Kim (ed): Modern Database Systems: the Object Model, Interoperability and Beyond; ACM press, Addison Wesley, 1995. =SW= [Kimball:96] Ralph Kimball: The Data Warehouse; Wiley, 1996. [King:84] Jonathan J.King: Query Optimization by Semantic Reasoning; Univ.of Michigan Press, 1984. [King:95] Roger King et al: Reference Architecture, Intelligent Integration of Information Program; http://www.cs.colorado.edu/dbgroup/i3-ref-arch.html, University of Colorado, Sept.1995. [Kleinrock:94] Leonard Kleinrock (chair Renaissance Committee):
Realizing the Information Future: The Internet and Beyond; Computer
Science and Telecommunications Board, National Research Council,
National Academy Press, 1994. =I3= =NII= focuses on four layers from an
engineer's point of view: 1. low-level comm., 2. transport, 3. simple
middleware, 4. applications. Chapters:1. Summary, 2. US Networking, 3
Open data network, 3 Research, education, libraries, 4. Principles and
Practice, 5. Financial Issues, Government Roles and Opportunities. A.
Federal Networking, B. Sample Principle Sets, C. Usert support
services, D. State and Reginal Networks E. International Issues, F.
Key terms. order 800 624-6242 $24.95 or on WWW. [Klusch:99] Mathias Klusch (ed): Intelligent Information
Agents: Agent-Based Information Discovery and Management on the
Internet; Springer-Verlag, 1999. = papers by M. Papazoglou and
W.J. van de Heuvel, Tilburg University; M. Huhns and M. Singh,
Univ.South Carolina; on Integration of Information from Multiple
Sources of Textual Data S. Bergamaschi and D. Beneventano, University
of Modena; K. Sycara, CMU; A. Ouksel, Univ. Illinois; P. Maes, R.
Guttman, Alex Moukas, MIT Media Lab; 7. Agent-Mediated Auctions: The
Fishmarket Metaphor P. Noriega and C. Sierra; on Strategic Reasoning
and Adaptation in an Information Economy by Ed Durfee, J. Vidal, S.
Park, T. Mullen, P. Weinstein, and A. Armstrong, Univ. Michigan; on
Shared Plans in Electronic Commerce by M. Hadad and S. Kraus, Bar-Ilan
University; on Dynamic Supply Chain Structuring for Electronic
Commerce Among Agents by D. Zeng and K. Sycara, CMU; S. Sen, A.
Biswas, and S. Ghosh, Univ. Tulsa; H. Liebermann, MIT Media Lab; on
Multi-Agent Systems for WWW Sites and Reputation Recommendations by A.
Moukas, G. Zacharias, and P. Maes, MIT Media Lab, USA on Scalable Web
Search by Adaptive On-line Agents: An InfoSpiders Case Study by F.
Menczer, and A.E. Monge, Univ. Iowa; B. Brewington, K. Moizumi, G.
Cybenko, R. Gray, D. Kotz, D. Rus @ Dartmouth College; R. Tolksdorf,
Tech. Univ. Berlin; O. Shehory, CMU; on Securing Mobile Agents by C.
F. Tschudin, Univ. Zurich., Switzerland
[KnoblockL:95] Craig Knoblock and Alon Levy (eds): Information Gathering from Distributed, Heterogenous Resources; Proceedings of 1995 AAAI Spring Symposium, March 1995, AAAI, Menlo Park CA. [Knoblock:96] Craig A. Knoblock: "Building a Planner for Information Gathering: A Report from the Trenches"; Artificial Intelligence Planning Systems: Proceedings of the Third International Conference (AIPS96), Edinburgh, Scotland, 1996. source =I3= also access to programs. =CHAIMS= parallel access. [Knuth:89] Don Knuth: Web system; 1989? = combines PASCAL code and comments. =SW= [KonopnickiS:98] David Konopnicki and Oded Shmueli: "Information
Gathering in the World Wide Web: The W3QL query language and the W3QS
System"; ACM TODS, Vol.23 No.4, Dec.1998, pp.369-410. =I3= =NII=
Query language allows access to form-based information on the web. [Kostner:94] Martijn Koster: On Information Discovery; http://web.nexor.co.uk/users/mak/doc/robots/robots.html, 1994. [Koster:94R] Martijn Koster: Rules for Web Robots; Nexor, 1994, http://web.nexor.co.uk/users/mak/doc/robots/robots.html. [KraemerLB:93] Bernd Kraemer, Luqi, and Valdis Berzins: "Compositional Semantics of a Real-Time Prototyping Language"; IEEE Trans.SE, vol.19 No.5, May 1993.= formal description of the NPGS prototyping language PCDL. =SW= [Krishnamurthy:94] B. Krishnamurthy:"Software Architecture and Reuse, an Inherent Conflict?"; Proc. 3rd Internat.Conf.on Software Reuse. Rio de Janeiro, Brazil, 1994. =SW= [KrishnanS:94] R. Krishnan and D.H. Steier: ``Adaptive Access to a Digital Library of Corporate Information''; Digital Libraries Workshop, Rutgers Un., Newark NJ, May 1994; http://www.cs.umbc.edu/conferences/dl/abstracts/krishnan.html. [Kruger:92] Charles Kruger: "SoftwareReuse"; ACM Comp. Surveys, Vol.24 No 2., June 1992.= need to abstract implementation patterns. , design and code scavenging, off-the shelf components 9librarues, Booch' standard Ada data constructs. [Kunt:95] Murat Kunt (ed.) "Digital Television"; IEEE Spectrum; Vol.83, nos.6,7, June/July 1995. = issue devoted to Digital TV and compression. [KuokkaH:96] D. Kuokka and L. Harada: "Integrating Information via Matchmaking"; in Wiederhold (editor): Intelligent Integration of Information, Kluwer Pubs., 1996. =I3= [LabrouF:97] Yannis Labrou and Tim Finin: "Semantics and Conversations for an Agent Communication Language"; in Huhns and Singh (eds) Readings in Agents, Morgan Kaufmann Publishers, Inc., 1997. =I3= a KQML specification. [LaiMY:88] K-Y. Lai, T.W. Malone, and K-C. Yu: ``Object Lens: A Spreadsheet for Cooperative Work"; ACM Trans. on Office Inf. Systems, Vol.6 No.4, Oct.1988, pp.332--353. [LampsonPS:81] Butler W. Lampson, M. Paul, H.J. Siegert: Distributed Systems, Architecture and Implementation; Springer, 1981. =SW= [Landgraf:99] G. Landgraf: “Evolution of EO/GIS Interoperability;
Towards an Integrated Application Infrastructure”; in Vckovski,
Brassel, and Schek: Interoperating Geographic Information Systems,
Springer LNCS 1580, 1999, pp.29-38. =I3= [Lang:26] Fritz Lang: 'Metropolis'; UFA 1926.= silent film. [Langer:98] Thomas Langer: "MeBro - A Framework for Metadata-Based
Information Mediation"; First International Workshop on Practical
Information Mediation and Brokering, and the Commerce of Information
on the Internet, Tokyo Japan, September 1998,
http://context.mit.edu/imediat98/paper2/. =I3= at Japan mediation conference [LaQueyR:92] Tracy LaQuey and Jeanne C. Ryer: The Internet Companion; Addison Wesley, 1992. Evangelical etiquette guide to the Internet featuring anecdotal tales of life-changing Internet experiences. Foreword by Senator Al Gore. [LarsonY:87] P.A. Larson and H.Z. Yang: "Computing Queries from Derived Relations: Theoretical Foundation"; Research report CS-87-35, University of Waterloo, August 1987. [LawK:91] A.M. Law and W.D. Kelton: Simulation Modeling and Analysis; Mc Graw-Hill 1991. [LawM:94 =check] A.M. Law and M.G. McComas: Simulation Software for Communicaton Networks"; IEEE Communications, March 1994. [LawEa:90] K.H. Law, G. Wiederhold, T. Barsalou, N. Sambela, W. Sujansky, and D. Zingmond: "Managing Design Objects in a Sharable Relational Framework"; Proceedings ASME meeting, Boston, August 1990. =penguin [LawEa:91] Kincho H. Law, Gio Wiederhold, Thierry Barsalou, Niki Siambela, Walter Sujansky, David Zingmond, Harvinder Singh ``Architecture for Managing Design Objects in a Shareable Relational Framework''; International Journal of Systems Automation: Research and Applications (SARA), Volume 1, Number 1, pages 47-65, 1991. =penguin [Lawton:98]George Lawton: "The Internet's Challenge to Privacy"; IEEE Computer, Vol.31 No.6, June 1998, pp.16-18. =TIHI [Lederberg:78] Joshua Lederberg: "Digital Communications and the Conduct of Science"; Proc.IEE, Vol.66 No.1, pages 1314-1319, 1978. [LederbergU:89] Joshua Lederberg and Keith Uncapher: Towards a National Collaboratory; Proc. Invitational Workshop, Rockefeller Un., March 1989. [Lederberg:93] Joshua Lederberg: Keynote presentation at CAMIS; April 29, 1993, Stanford University. [LedgarT:90] H. Ledgar and J. Tauer: Professional Software, volume 2: Programming Practice; ISBN 0-201-12232-4. = Zaki Hasan: Ledgard and Tauer introduce the term "PA Programmer". A PA programmer is an amateur programmer who thinks he is a professional, or a professional who is acting like an amateur. Near enough is not good enough of a professional, and the two volumes discuss things such as user interface design (volume 1) and naming conventions and layout (volume 2). There is a lot of good stuff in these two volumes, though I'm afraid that their examples finally convinced me that Pascal-like languages are part of the problem. =SW= [LeeW:94E] Byung Suk Lee and Gio Wiederhold: "Efficiently Instantiating View-objects from Remote Relational Databases"; The VLDB Journal, Vol.3 No.3, July 1994, pages 289-323. [LeeW:94O] Byung S. Lee and Gio Wiederhold: "Outer Joins and Filters for Instantiating Objects from Relational Databases through Views"; IEEE Transactions on Knowledge and Data Engineering, Vol.6 No.1, pp. 108 - 119, February 1994. [LegettS:94] John J. Leggett and John L. Schnase: "Viewing Dexter with Open Eyes"; Comm.ACM, Vol.37 No. 2, Feb.1994, = A Hypertext Reference Model [Lehman:94] Manny Lehman;= FEAST project on Feedback, Evolution, and Software Technology. =SW= @ Dep.Computing, Imperial College, London [Lehrer:94] Nancy Lehrer (ed.): Summary of I3 Projects; ="http://isx.com/pub/I3">http://isx.com/pub/I3. =SW= [Leiss:82] E. Leiss: "Randomizing, A Practical Method for Protecting Statistical Databases Against Compromise"; Proceedings of the Conference on Very Large Databases (VLDB), Morgan Kaufman pubs. (Los Altos CA) 8, 1982, McLeod and Villasenor(eds), pp 189--196. [LenatG:90] D. Lenat, R.V. Guha, et al.: ``CYC: towards programs with common sense''; Comm.ACM, Vol.33 No.8, Aug.1990. [Lenat:90] D. Lenat, and R. V. Guha: Building Large Knowledge Based Systems; Addison Wesley, 1990.=SKC= [Lenat:95] D. Lenat: "Artificial Intelligence"; Scientific American, September, 1995.=SKC= [Lenat:95] D. Lenat: "Cyc: A large-scale investment in Knowledge Infrastructure"; Comm.ACM, Vol.38 No.11, Nov. 1995, pp.33- 38.. =SKC= [LeonhardC:94] Woody Leonhard and Vincent Chen: "Dynamic Data
Exchange; or, how to talk with your mouth full" and "Could OLE
automation be the Princess Charming of software?"; PC- Computing,
Vol.7 Nos.4,5 (April,May, 1994):218,224. = Microsoft OLE, provided by
Avery Kadison =SW= [Lesk:93] Michael Lesk (Bellcore): private communication. [Lesk:91] Michael Lesk:"The CORE electronic library "; Proc.14th SIGIR Conference, ACM, Oct. 1991.= includes a comic book abstract of chemical transforms. [Lesk:97G] Michael Lesk: "Going Digital"; in Scientific American, Mer.1997. =I3= [Lesk:97P] Michael Lesk: Practical Digital Libraries: Books, Bytes, and Bucks; Morgan Kaufman, 1997 [Levenson:91] Nancy Levenson "Software Safety in Embedded Computer System"; Comm.ACM, Vol.34 No.2, February 1991. = Analysis of fatal Software Failures in Medical Equipment. =SW= [Levenson:95] Nancy Levenson: Safeware: System Safety and Computers>; 1995? = Introduction to risk analysis. =SW= [LevyS93] A.Y. Levy and Y. Sagiv: "Queries Independent of Updates"; VLDB 19, Conf. on Very Large Data Bases, Dublin, Ireland, August 1993, pp. 171-181. [LewisR:95] Clayton Lewis and John Rieman: Task-Centered Interface Design; =ftp.cs.colorado.edu = textbook on Human-Computer Interaction. [LewisS:93] M. Lewis and K. Sycara: "Informed Decision Making in Multi-Specialist Cooperation"; Group Decision and Negotiation, Vol.2 No.3, October 1993. [LewisF:99] Ted Lewis and Benjamin Fuller: Fast-Lane Browsers Put the
Web on Wheels, IEEE Computer, Jan. 99. =I3= mobile browsing. [Lexical:99] Lexical Technology: Oncology Knowledge Authority;
http://www.lexical.com/KS.html =I3= [LiberatoreS:98] Paolo Liberatore and Marco Schaerf: "Arbitration (or How To Merge Knowledge Bases)"; IEEE Knowledge and Database Engineering, Vol.10 No.1, Jan/Feb 1998, pp. 76-90. =SKC= addresses belief revision in propositional models, deals with some weak forms of inconsistency. Review of prior work. [Libicki:95] Martin C. Libicki: Information Technology Standards; Digital Press, 1995. [LiC:94] Wen-Syan Li and Chris Clifton: ``Semantic Integration in Heterogeneous Databases Using Neural Networks''; VLDB 20, Conference on Very Large Data Bases, Morgan-Kaufmann, 1994, pages 1--12. [Liddle:94] David E. Liddle, Meg Withgott and Debby Hindus: An
Overview of Interval Research Corporation; Human Factors in
Computing Systems CHI '94. =I3= [Lieberherr:94] K. Lieberherr: The Art of Growing Adaptive
Software: Beyond Object-oriented Software; 1994.=SW= [LientzS:80] B.P. Lientz and E.B. Swanson: Software Maintenance Management; Addison-Wesley, 1980. = has measurements: about 20% corrective, 25% adaptative, 55% perfective. =SW= [Lim:98] Wayne C. Lim: Managing Software Reuse; Prentice-hall PTR, 1998. = =SW= includes a numberr of project examples from Hewlett-Packard, and other sources. [LinR:98] L. Lin and Tore Risch: Querying Continous Time Sequences;
Proc. 24 VLDB, NYC NY, Morgan Kaufman, Aug. 1998. =I3= [LindbergHM:93] D.A.B. Lindberg, B.L. Humphreys, and A.T. McCray: "The Unified Medical language System"; IMIA Yearbook of Medical Information 93, Schattauer Verlag, 1993. [Linden:1989] Ted Linden: "Planning by Transformational Synthesis"; IEEE Expert, Vol.4 No.2 Summer 1989. [Linden:1991] Ted Linden: "Representing Software Designs as Partially Developed Plans"; Automating Software Design, AAAI/MIT Press, Menlo Park, CA. pp. 603-625. [Linden:1990A] Ted Linden: "A Meta-level Software Development Model that Supports V&V for AI Software"; Expert Systems with Applications, Vol. 1, pp. 271-279. [Linden:1990B] Ted Linden: "Transformational Synthesis: An Approach to Large-Scale Planning Applications" DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, Morgan Kaufman Publ., San Mateo, CA, Nov. 1990. [LindenG:92] Ted Linden and D. Gaw 1992: "JIGSAW: Preference-directed, Co-operative Scheduling," AAAI Spring Symposium: Practical Approaches to Scheduling and Planning, March 1992. = JIGSAW generalizes the AI scheduling techniques implemented in the Air Force's Advanced Planning System--which is operational as a component of CTAPS. [LiskovG:86] Barbara Liskov and John Guttag: Abstraction and Specification in Program Development; MIT Press, 1986 = Fundamental paper on object data structures. =SW= [LiskovZ:75] B.H. Liskov and S.N. Zilles: ``Specification Techniques for Data Abstractions''; IEEE Transactions on Software Engineering, Vol.SE-1, 1975, pp.7--19. [LitwinA:86] W. Litwin and A. Abdellatif: ``Multidatabase Interoperability"; IEEE Computer, Vol.19 No.12, Dec.1986, pp.10--18. [LitwinR:89] W. Litwin and N. Roussopolous: ``A Model for Computer Life''; University of Maryland, Institute for Advanced Computer Studies, UMIACS-TR-89-76, July 1989. [LitwinS:95] Witold Litwin and Ming Chien Shan: Introduction to Interoperable Multidatabase Systems; Prentice Hall, 1995 [Liu:95] Ling Liu: "Adaptive Schema Design and Evaluation in an
Object-oriented Information System"; in Springer LNCS 1021, pp.21-31.
= maintain reachability of nodes. For extensibility minimize multiple
inheritance =SW= [LockemanEa:97] Peter Lockeman et al.: "The Network as a Global
Database: Challenges of Interoperability, Proactivity,
Interactiveness, Legacy"; Proc. 23 VLDB, Athens Greece, Morgan
Kaufman, Aug. 1997. =I3= [Lockhart:95] H.W. Lockhart, jr.: OSF DCE, A Guide to Developing Distributed Applications; McGraw-Hill, 1995. [Loomis:87] Mary E.S.Loomis: The Database Book; MacMillan, 1987. [LowryM:91] Michael R. Lowry and Robert D. McCartney: Automating Software Design; AAAI press MIT Press 1991. = Articles on Tools for Large SW systems (2), Specification Acquisition(3), Domain-specific Program Synthesis (4), Knowledge Compilation (5), Formal Derivation Systems (7), Cognitive and Planning Approaches (2). A strong AI flavor. =SW= [Lu:94] Stephen C-Y. Lu: Working for the Library or the Factory? A Com parative Study of Production Engineering Research Infrastructures at U.S. and German Universities; draft report, Un.of Illinois at Urbana-Champaign, Urbana IL 61801, Jan.1994. =analysis of and effectivness of principles and mehods used at the Fraunhofer institutes to achieve technology transfer. Production Eng encompasse Mech.Eng and Industr.Eng. in the U.S. university model. Points- coupling to universities, dual roles of faculty-industry wise men and graduate students-professionals. Institute has mediating org. role between industry and academia. Profs have 5-10 years industry experience. =comments to Lu: viz ARPA successes supporting more-or-less captive orgs: Lockheed skunk works, SRI, ISI, Lincoln labs, ISX, CMU. Timelines difference even more critical than in Germany. [LuMSS:95] James J. Lu, Guido Moerkotte, Joachime Schue, and V.S. Subrahmanian: "Efficient Maintenance of Materialized Mediated Views"; Proc. International Conference on Management of Data (Sigmod 95), ACM, 1995. [Luckham:90] David Luckham: Programming with Specifications; Springer 1990. = Anna provides annotations will enable verification of Ada programs. =SW= [LuntF:90] Teresa Lunt and E. Fernandez: "Database Security"; ACM SIGMOD Record, Vol.19 No.4, 1990, pp.90-97. =TIHI= [Lunt:89] Teresa F. Lunt: "Polyinstantiation: an inevitable part of a Aggregation and inference: Facts and fallacies"; Proc . of the IEEE Symposium on Security and Privacy pp.102--109, Oakland, CA, May 1989. =TIHI= [Lunt:91] Teresa F. Lunt: Polyinstantiation: an inevitable part of a multi-level world"; Proc. of Computer Security Foundation Workshop, Francinia, 1991 =TIHI= [LuniewskiEa:93] Luniewski, A. et al. "Information organization using Rufus"; ACM SIGMOD, Washington DC, May 1993. pp. 560-561 =TIHI= [LuqiK:88] Luqi and Mohammed Ketabchi: A Computer-Aided Prototyping System; IEEE Software; March 1988, pp.66-72. = description of CAPS =SW= [Luqi:89] Luqi: "Software Evolution Through Rapid Prototyping"; IEEE Computer, Vol. 22 No.5, May 1989, pp.13--25. = Object technology =add dampier, Luqi, dependencies`between developement activities and their products. Support for: planning, scheduling, tracking, project control & work assignment, configuration & versioning? see [Luqi 1990] [Luqi:90] Luqi: "A Graph Model for Software Evolution"; IEEE Trans. on SW Eng., Vol. SE16 No.8, 1990, pp.917--927. = dependencies`between developement activities and their products. Support for: planning, scheduling, tracking, project control & work assignment, configuration & versioning [Luqi:92] Luqi "" IEEE SW Jan. 1992 = CAPS software model for C3I station [Lynch:90] Clifford A. Lynch: "The Z39.50 Information retrieval protocol: An overview and Status Report"; ACM SIGCOMM, 1990, pp.58--70. = DBDbiblio ASN.1 [LynchL:96] Daniel C. Lynch and Leslie Lundquist @Cybercash, Inc:
Digital Money: The New Era of Internet Commerce; John Wiley and
Sons, 1996. =I3= [Lynch:97] Clifford Lynch: "Searching the Internet"; in Scientific American, Mer.1997.
=I3= [MacGregor:90]} Robert MacGregor: ``The Evolving Technology of Classification-based Knowledge Representation Systems''; in John Sowa, editor, Principles of Semantic Networks: Explorations in the Representation of Knowledge, Morgan Kaufmann, 1990. [MackinlayG:85] Jock Mackinlay and Michael Genesereth: `Intelligent Presentation: The Generation Problem for User Interfaces``; Data-and Knowledge Engineering, Vol.1 No.1, Jun.1985, pp.17--29. [Maddox:94] Tom Maddox= "The Cultural Consequences of the information Superhighway"; The Wilson Quarterly, Summer 1994, pp.29-36. = What islearning and teching, how will it be support%CCCCCCCCCCCCCCCCCCCCC
%DDDDDDDDDDDDDDDDDDDDDDDDDDDDD
%EEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE
%FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF
%GGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGG
%HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH
%IIIIIIIIIIIIIIIIIIIIIIIIII
%JJJJJJJJJJJJJJJJJJJJJJJJJJJ
%KKKKKKKKKKKKKKKKKKKKKKKKKKKKK
%LLLLLLLLLLLLLLLLLLLLLLLLLLL
%MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM