Sciweavers

4205 search results - page 102 / 841
» Typed Mobile Objects
Sort
View
102
Voted
TAPSOFT
1995
Springer
15 years 7 months ago
An Imperative Object Calculus
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...
Martín Abadi, Luca Cardelli
WETICE
2007
IEEE
15 years 10 months ago
An Architectural Approach to Apply the Supervisor/Worker Collaboration Pattern to Nomadic Workspaces
Although information technology is advancing, computer-based systems do not yet ideally support collaborative activities of mobile users in nomadic workspaces. Mobile information ...
Manfred Bortenschlager, Sigi Reich, Gabriele Kotsi...
GIR
2007
ACM
15 years 7 months ago
Visualization of geographic query results for small screen devices
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...
153
Voted
GECCO
2008
Springer
199views Optimization» more  GECCO 2008»
15 years 4 months ago
Analysis of multi-objective evolutionary algorithms to optimize dynamic data types in embedded systems
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...
José Ignacio Hidalgo, José L. Risco-...
DMSN
2010
ACM
15 years 4 months ago
Query-driven data collection and data forwarding in intermittently connected mobile sensor networks
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...
Wei Wu, Hock-Beng Lim, Kian-Lee Tan