5084 search results - page 779 / 1017 » Proving Possibility Properties |
148
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
160
click to vote
EPEW
2005
Springer
16 years 4 days ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
163
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
147
click to vote
FSE
2005
Springer
16 years 4 days ago
2005
Springer
T-functions were introduced by Klimov and Shamir in a series of papers during the last few years. They are of great interest for cryptography as they may provide some new building ...
143
Voted
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
At TCC 2005, Backes and Cachin proposed a new and very strong notion of security for public key steganography: secrecy against adaptive chosen covertext attack (SS-CCA); and posed ...