Shannon K, Emily N. Todd, A. Al-theneyan, P. Mehrotra, M. Zubair
this article we describe our experiences with using Jini technology to build a Resource Manager module for Arcade.
Shannon K, Emily N. Todd, David Keyes, S. V. Tsynkov
this paper we briefly review different approaches to constructing the ABCs available in the literature. Then, we describe the results associated with the use of one particular technique - the...
Shannon K, Emily N. Todd, Zoubeida Ounaies, Joycelyn S. Harrison, Rich J
Data Types. Then, as research assistant at INRIA and international fellow at SRI, his efforts were concentrated on Type Theory and Higher Order logic. These two formalisms provide a rich framework...
Shannon K, Emily N. Todd, Mark Morkovin, Po-shu Chen
This paper presents a software for solving the non-conforming fluid/structure interfaces in aeroelastic simulation. It reviews the algorithm of interpolation and integration, highlights the...
Vol. 7, No. 4 December 1998 (1999)
Shannon K, Emily N. Todd, Thomas W. Crockett
This article describes the Digital Earth vision and its motivation, surveys some of the technical challenges which lie in its path, and reports on planning activities within the federal government as...
Vol. 7, No. 1 March 1998 (1998)
Stephen Guattery, Shelly M. Johnson, Emily N. Todd, Sang-hyon Chu, Christine A. Toomer, J. S. Hesthaven
This article discusses, in an informal and physically suggestive way, several of the results more formally presented in GR.