1830 search results - page 159 / 366 » Implementing a Tamper-Evident Database System |
VLDB
2003
ACM
14 years 11 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
DEXAW
2003
IEEE
14 years 4 months ago
2003
IEEE
We examine the interference of fairness and observers in digital coin systems. Since copying of coins cannot be prevented cryptographically in anonymous off-line coin systems, dou...
COMPUTER
2002
13 years 10 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
PVLDB
2008
13 years 10 months ago
2008
We propose EndoScope, a software monitoring framework that allows users to pose declarative queries that monitor the state and performance of running programs. Unlike most existin...
SIGMOD
2009
ACM
14 years 11 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...