10870 search results - page 1996 / 2174 » Model Checking Programs |
104
click to vote
FC
2005
Springer
15 years 7 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (Qo...
98
Voted
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
The C-value Paradox is the name given in biology to the wide variance in and often very large amount of DNA in eukaryotic genomes and the poor correlation between DNA length and p...
133
click to vote
HIPEAC
2005
Springer
15 years 7 months ago
2005
Springer
This paper shows that Appel-style garbage collectors often make suboptimal decisions both in terms of when and how to collect. We argue that garbage collection should be done when ...
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...