7049 search results - page 176 / 1410 » Data Abstraction for CSP-OZ |
176
click to vote
SIGSOFT
2006
ACM
16 years 14 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
165
click to vote
WOWMOM
2005
ACM
16 years 2 days ago
2005
ACM
Abstract—This paper examines the following wireless data access scenario: a number of clients are interested in a set of data items kept at the server. A client sends a query req...
311
click to vote
DAWAK
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper, we present a new approach to indexing multidimensional data that is particularly suitable for the efficient incremental processing of nearest neighbor quer...
179
click to vote
DCOSS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Two difficulties in designing data-centric routes [2–5] in wireless sensor networks are the lack of reasonably practical data aggregation models and the high computatio...
174
click to vote
ICN
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. We developed a reliable mobile Peer-to-Peer (P2P) data sharing system and performed some experiments for verifying our routing scheme using our real testbed. Our method f...