7986 search results - page 249 / 1598 » Computational Science and its Applications |
229
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
159
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
204
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Many non-cooperative settings that could potentially be studied using game theory are characterized by having very large strategy spaces and payoffs that are costly to compute. Be...
165
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
Systematically generalizing planar geometric algorithms to manifold domains is of fundamental importance in computer aided design field. This paper proposes a novel theoretic fra...
161
click to vote
SIGECOM
2006
ACM
16 years 17 days ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...