3116 search results - page 205 / 624 » Positively dependent types |
118
Voted
PRDC
2006
IEEE
15 years 11 months ago
2006
IEEE
End-to-end consensus ensures delivery of the same value to the application layer running in distributed processes. Deliveries that have not been acknowledged by the application be...
127
click to vote
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...
159
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
160
Voted
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...
127
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abundance of user contributions does not necessarily indicate sustainability of an online community. On the contrary, excessive contributions in the systems may result in “inform...