5084 search results - page 346 / 1017 » Proving Possibility Properties |
179
click to vote
TARK
2005
Springer
16 years 6 days ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
175
click to vote
EUROCRYPT
2004
Springer
16 years 3 days ago
2004
Springer
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
172
click to vote
EVOW
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We deal with two important problems in pattern recognition that arise in the analysis of large datasets. While most feature subset selection methods use statistical techn...
181
click to vote
HIPC
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we describe a novel strategy for carrying out lookups in Chord-based peer-to-peer (P2P) networks, wherein nodes are assumed to behave selfishly. This is in contrast ...
157
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...