- A Pipelined Lexical Analyzer Timothy Bickmore
- This month the Spider tours the Web looking to learn about the Extensible
- Compiling Knowledge-Based Systems to Ada: The PrkAda ProTalk Compiler
- The MER/CIP Portal for Ground Operations Louise Chan*
- This month the Spider seeks out stuff on the cutting edge.
- But Relatively Inexpensive Robert E. Filman RIACS/NASA Ames Research Center filman@computer.org
- 73IEEE INTERNET COMPUTING http://computer.org/internet/ NOVEMBER DECEMBER 1999 It's getting near the holidays, so the
- What Is Aspect-Oriented Programming, Robert E. Filman
- THE ARACHNOID TOURIST C O L U M N
- 116 January 2002/Vol. 45, No. 1 COMMUNICATIONS OF THE ACM For many applications, most
- ASPECT-ORIENTED PROGRAMMING
- The D3 Middleware Architecture Joan Walton, Robert E. Filman*, David J. Korsmeyer, Diana D. Lee, Ron Mak*, and Tarang Patel
- Aspect-Oriented Programming is Quantification and Oblivi-Robert E. Filman Daniel P. Friedman
- Managing Distributed Systems with Smart Subscriptions
- Applying Aspect-Oriented Programming to Intelligent Synthesis
- Networks and devices are going to get faster and
- Injecting Ilities Robert E. Filman*
- Verification of Compositional Software Architectures by Diana Lee and Bob Filman
- GOTO Removal Based On Regular Expressions Paul Morris
- COMPILING KNOWLEDGE-BASED SYSTEMS TO ADA: THE PRKADA CORE
- Ascribing Artificial Intelligence to (Simpler) When AI Meets the Real World
- Retrofitting Objects Robert E. Filman
- Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector
- Internet Computing lovely volume graced my desk recently --at
- IEEE INTERNET COMPUTING 1089-7801/05/$20.00 2005 IEEE Published by the IEEE Computer Society JULY AUGUST 2005 5 From the Editor in Chief...
- Interface Pains ast week I tried to reserve an auto rental over
- Lessons from System Development
- y email inbox is full of offers to refi-nance my mortgage, make cheap long
- "Look at me! Look at me!
- It is far more impressive when others discover your good qualities without
- 81IEEE INTERNET COMPUTING http://computer.org/internet/ MARCH APRIL 1999 The Web site you seek
- "There is no safety in numbers, or in anything else." --James Thurber
- As our friend Martin Yonke once observed, "Standards are wonderful.
- MARCH APRIL 1998 http://computer.org/internet/ IEEE INTERNET COMPUTING It used to be that travel left the Spider
- JANUARY FEBRUARY 1998 http://computer.org/internet/ IEEE INTERNET COMPUTING As netizens maneuver through an ever-
- C O L U M N IEEE INTERNET COMPUTING http://computer.org/internet/ NOVEMBER DECEMBER 1997
- MAY JUNE 1997 http://computer.org/internet/ IEEE INTERNET COMPUTING COLLABORATING
- IEEE INTERNET COMPUTING http://computer.org/internet/ MARCH APRIL 1997 T H E A R A C H N O I D T O U R I S T
- COORDINATED COMPUTING TOOLS AND TECHNIQUES FOR
- PETRI NETS AND DATA FLOW This chapter concerns models inspired by graphs. These models use the nodes of
- The Actor model takes the theme of object-oriented computation seriously and to an extreme. In an Actor system, everything is an actor object. Actors com-
- INDETERMINATE APPLICATIVE SYSTEMS We have already studied two models that, to some extent, express concurrent
- CONCURRENT PASCAL AND DISTRIBUTED PROCESSES
- The United States Department of Defense DoD is a major consumer of soft-ware. Like many computer users, the Defense Department is having a software
- SYNCHRONIZING RESOURCES AND CELL This chapter describes Synchronizing Resources SR and Cell. These two sys-
- DISTRIBUTED PROBLEM SOLVING So far in this book we have described several models and languages for under-
- CONTRASTS AND COMPARISONS The systems discussed in this book span the important ideas for coordinated
- The languages we have discussed so far Distributed Processes and its kin, Ada use synchronous communication|both the initiator of a communication and
- Applying AI to Software Renovation Robert E. Filman
- Water Music n "The Green Isle in the Sea,"1
- abnormal termination, SR, 253 Abrahams, P. W., 179, 353
- DISTRIBUTED DATABASES A database system is a collection of information together with programs to ma-
- PART ONE FOUNDATIONS 1 Chapter 1 Computation Theory 3
- A Software Architecture for Intelligent Synthesis Environments1
- REASONING WITH WORLDS AND TRUTH MAINTENANCE IN A KNOWLEDGE-BASED
- BIBLIOGRAPHY Ackerman 79 Ackerman, W. B., and J. B. Dennis, VAL|A Value-Oriented Algorith-
- EXCHANGE FUNCTIONS Exchange Functions is a speci cation mechanism for designing and a model for
- The Agora Internet or hunter-gatherers, I imagine that interac-
- Redirecting by Injector Robert E. Filman Diana D. Lee
- The Arachnoid Tourist scours the Net to find and review Web sites of interest to our readers.
- IEEE INTERNET COMPUTING 1089-7801/06/$20.00 2006 IEEE Published by the IEEE Computer Society JANUARY FEBRUARY 2006 3 From the Editor in Chief...
- Source-Code Instrumentation and Quantification of Events Robert E. Filman
- MODELS, LANGUAGES, AND HEURISTICS The next three parts form the heart of this book. In these parts we discuss
- Days of Miracle and Wonder Robert Filman RIACS/NASA Ames Research Center
- Do You Know How to Get to
- Achieving Ilities 10/18/99 Achieving Ilities
- CONCURRENT PROCESSES The work of George Milne and Robin Milner is an attempt to describe a math-
- COMMUNICATING SEQUENTIAL PROCESSES C.A.R. Hoare's Communicating Sequential Processes CSP is a model-language
- Software Development oftware development is an art. The most note-
- Coordinated computing is concerned with organizing numerous loosely coupled processing agents for coherent action. In this book we emphasize the program-
- Robert E. Filman NASA Ames Research Center
- Weather Forecast his is my inaugural issue as editor in chief of
- Information Management Robert E. Filman RIACS/NASA Ames Research Center filman@computer.org
- In the spirit of this issue, the Spider went on a tour of search engines.
- SEPTEMBER OCTOBER 1997 http://computer.org/internet/ IEEE INTERNET COMPUTING SPIDER'S NET
- Medicine on the Net From Isolation to Universal Connectivity
- Injectors and Annotations Robert E. Filman
- Veni,Vidi, Suffragi I came,I saw,I voted.
- D3: A Collaborative Infrastructure for Aerospace Design Joan Walton, Robert E. Filman*, Chris Knight, David J. Korsmeyer, and Diana D. Lee
- SafeBots: A Paradigm for Software Security Controls
- 79IEEE INTERNET COMPUTING http://computer.org/internet/ JANUARY FEBRUARY 2000 Prediction is very difficult, especially
- Traditional computer systems are built around the solitary central processor|an omnipotent agent that executes instructions and commands peripheral devices.
- Semantic Services confess I was surprised by the success of the
- Patent Pending Judging a decision's quality by its result is called
- The Mars Exploration Rover / Collaborative Information Portal Joan Walton
- End-to-End over Interplanetary
- CONCURRENCY The last chapter described linguistic mechanisms for specifying concurrency.
- Program Instrumentation and Trace Analysis Klaus Havelund
- The Interface Space "To use the computer as a transformation device is to
- A Bibliography of Aspect-Oriented Software Development Version 2.0
- PROGRAMMING LANGUAGES We assume the readers of this book are familiar with material covered in a typical
- Injecting Management Robert E. Filman*
- The Evolution of the DARWIN System Joan D. Walton
- SHARED VARIABLES Most of the models and languages we discuss in this book use explicit proc-
- This month, the Tourist seeks profes-sional advice.
