We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
Abstract— This paper presents a radically new multicast model for ad hoc wireless networks. In this model, the content of the multicast data determines the receiver set for the d...
Image segmentation remains an important, but hard-to-solve, problem since it appears to be application dependent with usually no a priori information available regarding the image ...
In data warehouses measures are analyzed along different dimensions. Although the structures of these dimensions change over time, data warehouse tools currently in use are not ab...
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...