632 search results - page 117 / 127 » Proving Invariants of Functional Programs |
61
Voted
CG
2004
Springer
15 years 5 months ago
2004
Springer
Kriegspiel is a Chess variant similar to wargames, in which players have to deal with uncertainty. Kriegspiel increases the difficulty typical of Chess by hiding from each player h...
95
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we investigate extensions of the well-known Vickrey-Clarke-Groves (VCG) mechanisms to problems whose objective function is not utilitarian and whose agents’ utiliti...
138
click to vote
NDSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
129
Voted
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...
125
Voted
ICNP
2000
IEEE
15 years 4 months ago
2000
IEEE
Multicast sessions may have a large number of receivers with heterogeneous reception capacities. To accommodate this heterogeneity, various multi-rate schemes, based upon the use ...