Sciweavers

2542 search results - page 30 / 509
» integration 2010
Sort
View
WOTE
2010
14 years 9 months ago
Aperio: High Integrity Elections for Developing Countries
This article presents an ‘end-to-end’ integrity verification mechanism for use in minimally equipped secret paper-ballot election environments. The scheme presented in this pa...
Aleksander Essex, Jeremy Clark, Carlisle Adams
AMW
2010
15 years 5 days ago
On Incomplete XML Documents with Integrity Constraints
We consider incomplete specifications of XML documents in the presence of schema information and integrity constraints. We show that integrity constraints such as keys and foreign ...
Pablo Barceló, Leonid Libkin, Juan L. Reutt...
ENTCS
2010
144views more  ENTCS 2010»
14 years 10 months ago
Integrating Component Tests to System Tests
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
Bernhard Schätz, Christian Pfaller
ICISS
2010
Springer
14 years 8 months ago
Unifying Facets of Information Integrity
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
EOR
2002
101views more  EOR 2002»
14 years 10 months ago
Entropy of discrete Choquet capacities
We introduce a measure of entropy for any discrete Choquet capacity and we interpret it in the setting of aggregation by the Choquet integral. Keywords : entropy, discrete Choquet...
Jean-Luc Marichal