1458 search results - page 238 / 292 » Extended Term Rewriting Systems |
119
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
We extend the Camenisch-Lysyanskaya anonymous credential system such that selective disclosure of attributes becomes highly efficient. The resulting system significantly improves ...
109
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
108
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We consider a heterogeneous swarm consisting of aerial and wheeled robots. We present a system that enables spatially targeted communication. Our system enables aerial robots to e...
106
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
A dynamic model of a multiagent system defines a probability distribution over possible system behaviors over time. Alternative representations for such models present tradeoffs i...
109
Voted
ATAL
2010
Springer
15 years 27 days ago
2010
Springer
This paper concerns the problem of agent trust in an electronic market place. We maintain that agent trust involves making decisions under uncertainty and therefore the phenomenon...