Sciweavers

3022 search results - page 136 / 605
» Make Way for WayMaker
Sort
View
ADBIS
1994
Springer
137views Database» more  ADBIS 1994»
15 years 4 months ago
The Low-Level Support and Logging for Flexible Transactions
In this paper the ways of various types of transaction support in the buffer system of the storage system are considered. Support of active transaction tree as the mechanism for n...
Henrietta Dombrowska
88
Voted
ASIACRYPT
2007
Springer
15 years 4 months ago
A Non-interactive Shuffle with Pairing Based Verifiability
A shuffle is a permutation and re-encryption of a set of ciphertexts. Shuffles are for instance used in mix-nets for anonymous broadcast and voting. One way to make a shuffle verif...
Jens Groth, Steve Lu
DEON
2006
Springer
15 years 4 months ago
Counts-as: Classification or Constitution? An Answer Using Modal Logic
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
76
Voted
ER
2008
Springer
107views Database» more  ER 2008»
15 years 2 months ago
A Conceptual Modeling Framework for Expressing Observational Data Semantics
Observational data (i.e., data that records observations and measurements) plays a key role in many scientific disciplines. Observational data, however, are typically structured an...
Shawn Bowers, Joshua S. Madin, Mark P. Schildhauer
DAGSTUHL
2006
15 years 2 months ago
Market Engineering: An Interdisciplinary Research Challenge
Market engineering is making markets work. Markets are information processing and information producing information systems which mediate allocation of resources within or between...
Christof Weinhardt, Henner Gimpel