Sciweavers

1575 search results - page 49 / 315
» The provenance of electronic data
Sort
View
DASFAA
2009
IEEE
147views Database» more  DASFAA 2009»
15 years 4 months ago
"Pay-as-You-Go" Processing for Tracing Queries in a P2P Record Exchange System
In recent years, data provenance or lineage tracing which refers to the process of tracing the sources of data, data movement between databases, and annotations written for data ha...
Fengrong Li, Takuya Iida, Yoshiharu Ishikawa
ESORICS
2010
Springer
14 years 11 months ago
Election Verifiability in Electronic Voting Protocols
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
Steve Kremer, Mark Ryan, Ben Smyth
JODL
2006
64views more  JODL 2006»
14 years 9 months ago
Support for XML markup of image-based electronic editions
Image-based electronic editions enable researchers to view and study in an electronic environment historical manuscript images intricately linked to edition, transcript, glossary a...
Alex Dekhtyar, Ionut Emil Iacob, Jerzy W. Jaromczy...
SAC
2004
ACM
15 years 3 months ago
A framework for the classification and the reclassification of electronic catalogs
Electronic marketplaces are virtual communities where buyers may meet proposals of several suppliers and make the best choice. The exponential increment of the e-commerce amplifie...
Domenico Beneventano, Stefania Magnani
GLVLSI
1998
IEEE
169views VLSI» more  GLVLSI 1998»
15 years 2 months ago
On the Characterization of Multi-Point Nets in Electronic Designs
Important layout properties of electronic designs include interconnection length values, clock speed, area requirements, and power dissipation. A reliable estimation of those prop...
Dirk Stroobandt, Fadi J. Kurdahi