1047 search results - page 93 / 210 » Searching Without a Heuristic: Efficient Use of Abstraction |
ICWL
2004
Springer
14 years 1 months ago
2004
Springer
This Paper introduces PKUSpace - a collaborative platform for scientific learning and researching. Supported by efficient automated metadata extraction and powerful text classifica...
FORTE
2010
13 years 9 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
We show how and why using genetic operators that are applied with probabilities that depend on the fitness rank of a genotype or phenotype offers a robust alternative to the Sim...
EUROCRYPT
2008
Springer
13 years 9 months ago
2008
Springer
Abstract--We consider the use of threshold signatures in adhoc and dynamic groups such as MANETs ("mobile ad-hoc networks"). We first show that known threshold RSA signat...
INFOCOM
2000
IEEE
14 years 9 days ago
2000
IEEE
Abstract—A challenging aspect of mobile communications consists in exploring ways in which the available run time of terminals can be maximized. In this paper, we present a detai...