In message <3A9D89BF.5C8D9135@eng.sun.com>, Eric Armstrong writes:
>Eugene Eric Kim wrote:
>>
>> Incidentally, in honor of our recent conceptual progress, perhaps dGrove
>> is a better name than DDOM? DDOM has the unsightly disadvantage of being
>> associated with the DOM. :-)
>>
>DeGrove. I like that.
>Or maybe, DeGroove.
Or maybe Forest (distributed groves of trees).
-------------------------------------------------------------------------------
Lee Iverson SRI International
leei@ai.sri.com 333 Ravenswood Ave., Menlo Park CA 94025
http://www.ai.sri.com/~leei/ (650) 859-3307
This archive was generated by hypermail 2.0.0 : Tue Aug 21 2001 - 17:58:03 PDT