As government agencies increasingly collaborate with international counterparts on critical global issues, transnational knowledge and information sharing grow in importance. This...
Sharon S. Dawes, Mohammed A. Gharawi, G. Brian Bur...
The National Institute of Standards and Technology (NIST) has efforts underway to accelerate the international development of interoperability standards to support the future mode...
In this paper, we propose a physically-based dynamical model for tracking. Our model relies on Newton’s second law of motion, which governs any real-world dynamical system. As a...
To communicate between heterogeneous computer systems, mechanisms for data conversion are necessary. In this paper we present a portable, asymmetric data conversion method that is...
Raimund Kirner, Peter P. Puschner, Ingomar Wenzel,...
Abstract. We present a description technique for the correct construction of programs that allows us to de ne terms like re nement, modelchecking, and synthesis as special operatio...