Sciweavers

7049 search results - page 245 / 1410
» Data Abstraction for CSP-OZ
Sort
View
MDA
1999
Springer
179views Communications» more  MDA 1999»
15 years 11 months ago
Cache Coherency in Location-Dependent Information Services for Mobile Environment
Abstract. Caching frequently accessed data at the client is an attractive technique for improving access time. In a mobile computing environment, client location becomes a piece of...
Jianliang Xu, Xueyan Tang, Dik Lun Lee, Qinglong H...
HOTOS
1999
IEEE
15 years 11 months ago
The Box: A Replacement for Files
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
Francisco J. Ballesteros, Sergio Arévalo
IDA
2000
Springer
15 years 6 months ago
Relation-based aggregation: finding objects in large spatial datasets
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand alize the regularities as abstract spatial objects evolving coher...
Xingang Huang, Feng Zhao
POPL
2008
ACM
16 years 7 months ago
Relational inductive shape analysis
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
Bor-Yuh Evan Chang, Xavier Rival
EWSN
2007
Springer
16 years 6 months ago
RIDA: A Robust Information-Driven Data Compression Architecture for Irregular Wireless Sensor Networks
Abstract. In this paper, we propose and evaluate RIDA, a novel informationdriven architecture for distributed data compression in a sensor network, allowing it to conserve energy a...
Xuan Thanh Dang, Nirupama Bulusu, Wu-chi Feng