In this paper we develop algorithms for distributed computation of a broad range of estimation and detection tasks over networks with arbitrary but fixed connectivity. The distri...
A problem in Ubiquitous Computing environments is the coordination of a multitude of different devices. This paper presents the RAUM1 -system that provides the basis for communicat...
We describe an approach for building and testing software for ubiquitous computing. The approach provides application-level emulators of ubiquitous devices. Since each emulator is...
The inverse gradient problem, finding a scalar field f with a gradient near a given vector field g on some bounded and connected domain Rn , can be solved by means of a Poisson ...
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...