4690 search results - page 113 / 938 » An operational semantics for Scheme |
168
click to vote
WOTE
2010
15 years 4 months ago
2010
We present a K-out-of-L voting scheme, i.e., a voting scheme that allows every voter to vote for (up to) K candidates from a set of L candidates. The scheme is receipt-free, which ...
124
click to vote
ICDCS
1999
IEEE
15 years 10 months ago
1999
IEEE
NAP, a detection and recovery based scheme for implementing fault-tolerant itinerant computations, is presented. We give the semantics for the scheme and describe a protocol that ...
137
click to vote
IAT
2006
IEEE
16 years 13 days ago
2006
IEEE
Across various domains, the relational model for databases is employed extensively for the purpose of storing, managing and retrieving data. The translation, however, of data mode...
179
click to vote
EUROPKI
2008
Springer
15 years 8 months ago
2008
Springer
We propose a generic method to construct forward-secure signature schemes from standard signature schemes. The proposed construction is more computationally efficient than previous...
158
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
The use of ontologies lies at the very heart of the newly emerging era of Semantic Web. They provide a shared conceptualization of some domain that may be communicated between peop...