GeoSAR is a unique dual-band, interferometric SAR (DBInSAR) sensor capable of collecting single-pass, Xband (VV) and P-band (HH) interferometric data simultaneously. In this paper...
Marco Lavalle, Mark L. Williams, Scott Hensley, Er...
The problems of accessing and integrating heterogeneous information sources are becoming centerstage problems. One problem arising from accessing heterogeneous sources is semantic...
Ngamnij Arch-int, Yuefeng Li, Paul Roe, Peraphon S...
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
Andrew Barber, Philippa Gardner, Masahito Hasegawa...
In order to make requirements comprehensible to humans and as unambiguous as possible, a glossary and/or domain model is needed for defining the terminology used. Unless these are...
Katharina Wolter, Michal Smialek, Daniel Bildhauer...
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...