7049 search results - page 1227 / 1410 » Data Abstraction for CSP-OZ |
167
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
157
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
The probability that a term appears in relevant documents ( ) is a fundamental quantity in several probabilistic retrieval models, however it is difficult to estimate without rele...
150
click to vote
BC
2008
15 years 5 months ago
2008
Abstract In this paper, we demonstrate that two characteristic properties of mammalian brains emerge when scaling-up modular, cortical structures. Firstly, the glia-toneuron ratio ...
187
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract—This paper studies the problem of distributed computation over a network of wireless sensors. While this problem applies to many emerging applications, to keep our discu...
150
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract—We introduce a new class of exact MinimumBandwidth Regenerating (MBR) codes for distributed storage systems, characterized by a low-complexity uncoded repair process tha...