7049 search results - page 394 / 1410 » Data Abstraction for CSP-OZ |
165
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Datacasting employs the excess bandwidth from digital television signals for use in one-way data transmission, and it is being used successfully for high-speed download...
142
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The paper presents a description of the FMD BioPortal biosurveillance system (http://fmd.ucdavis.edu/bioportal/) that is currently operating to capture, analyze, and diss...
158
click to vote
SEMWEB
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Governments often hold very rich data and whilst much of this information is published and available for re-use by others, it is often trapped by poor data structures, lo...
177
click to vote
SEFM
2006
IEEE
16 years 26 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
194
click to vote
ASPDAC
2006
ACM
16 years 25 days ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...