12742 search results - page 236 / 2549 » On canonical number systems |
157
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
We investigate a decentralised approach to committing transactions in a replicated database, under partial replication. Previous protocols either reexecute transactions entirely an...
160
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Civitas is the first implementation of a coercion-resistant, universally verifiable, remote voting scheme. This paper describes the design of Civitas, details the cryptographic ...
170
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
As the result of the development of Fuzzy Multiple Criteria Decision Making (FMCDM) with the help of fuzzy set theory a number of innovations have been made possible. The new appr...
169
click to vote
DLOG
2004
15 years 8 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
192
click to vote
EUMAS
2006
15 years 8 months ago
2006
In a normative society there are two main problems: defining norms and enforcing them. Enforcement becomes a complex issue as societies become more decentralized and open. We propo...