Computing support forlargeengineeringenterprisesprovides an example of the need for hypermedia-based collaborative computing systems composed of a large number of distributed hete...
The complexity of the cluster-based web service challenges the traditional approaches, which fail to guarantee the reliability and real-time performance required. In this paper, w...
By constructing local extensions to SNOMED we aim to enrich existing medical and related data stores, simplify the expression of complex queries, and establish a foundation for se...
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
— We demonstrate five-degree-of-freedom (5-DOF) wireless magnetic control of a fully untethered microrobot (3DOF position, 2-DOF pointing orientation). The microrobot can move t...
Bradley Kratochvil, Michael P. Kummer, Jake J. Abb...