In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...
Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine syst...
We firstly survey several forms of Herbrand's theorem. What is commonly called "Herbrand's theorem" in many textbooks is actually a very simple form of Herbrand...
Why measuring security? To make good decisions about how to design security countermeasures, to choose between alternative security architectures, and to improve security during d...
Abstract In the analysis of any unconstrained document image it is necessary to first decide what the main area of interest is. Previous work has been done on simply removing the ...
John Bunch, Dean Curtis, Christopher Jones, Jia Ts...