Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
With the advent of the new generation of Internet-based technology, in particular Web Services, the automation of business activities that are distributed across multiple enterpri...
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
A digital control application for the frequency stabilization of optical frequency standards is presented. The standard employed is a monolithic neodymium in yttrium aluminum garn...
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
Radu Serban, Wang Sang Koon, Martin W. Lo, Jerrold...
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...