141 search results - page 9 / 29 » Heap Assumptions on Demand |
TARK
2007
Springer
14 years 1 months ago
2007
Springer
Multiple election paradoxes arise when voting separately on each issue from a set of related issues results in an obviously undesirable outcome. Several authors have argued that a...
ATAL
2004
Springer
14 years 25 days ago
2004
Springer
In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability to conf...
ATAL
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...
CRYPTO
2007
Springer
14 years 1 months ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
IWMM
2009
Springer
14 years 1 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...