Sciweavers

3956 search results - page 342 / 792
» Clustera: an integrated computation and data management syst...
Sort
View
ICS
2010
Tsinghua U.
16 years 4 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
SI3D
1999
ACM
15 years 11 months ago
MMR: an interactive massive model rendering system using geometric and image-based acceleration
We present a system for rendering very complex 3D models at interactive rates. We select a subset of the model as preferred viewpoints and partition the space into virtual cells. ...
Daniel G. Aliaga, Jonathan D. Cohen, Andrew Wilson...
CCECE
2011
IEEE
14 years 6 months ago
A flash resident file system for embedded sensor networks
Many embedded devices, especially those designed for environmental sensor logging, have extremely limited RAM, often less than several kilobytes. Logged data is stored on flash m...
Scott Fazackerley, Ramon Lawrence
DATESO
2010
141views Database» more  DATESO 2010»
15 years 4 months ago
Reverse-engineering of XML Schemas: A Survey
As approaches to conceptual modeling of XML data become more popular, a need arises to reverse-engineer existing schemas to the conceptual models. They make the management of XML s...
Jakub Klímek, Martin Necasky
SIGMOD
2011
ACM
177views Database» more  SIGMOD 2011»
14 years 9 months ago
NetTrails: a declarative platform for maintaining and querying provenance in distributed systems
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...
Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, An...