551 search results - page 60 / 111 » Natural proofs |
ALDT
2009
Springer
14 years 21 days ago
2009
Springer
We study the problem of allocating a set of indivisible items to players having additive utility functions over the items. We consider allocations in which no player envies the bun...
DEXAW
2004
IEEE
14 years 13 days ago
2004
IEEE
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
MFCS
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. We consider the iterates of bilinear functions over the semiring (max, +). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (...
TACAS
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
ACISP
2008
Springer
13 years 10 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...