We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...
Although information technology is advancing, computer-based systems do not yet ideally support collaborative activities of mobile users in nomadic workspaces. Mobile information ...
The visualization of geo-referenced information on a map has become an essential method to help the users to get the intended information. The adaptation of visualization techniqu...
Maria Beatriz Carmo, Ana Paula Afonso, Paulo Pombi...
New multimedia embedded applications are increasingly dynamic, and rely on Dynamically-allocated Data Types (DDTs) to store their data. The optimization of DDTs for each target em...
In sparse and intermittently connected Mobile Sensor Networks (MSNs), the base station cannot easily get the data objects acquired by the mobile sensors in the field. When users q...