16504 search results - page 296 / 3301 » New Problems, New Solutions |
163
click to vote
AFRICACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Proof-of-work schemes are economic measures to deter denial-of-service attacks: service requesters compute moderately hard functions the results of which are easy to check by the ...
182
click to vote
HCI
2009
15 years 4 months ago
2009
Logistics is a dynamic and heterogeneous application area for wearable computing. In this paper, wearable computing technologies are examined as basis for a support system for mobi...
173
Voted
SIAMSC
2008
15 years 6 months ago
2008
Many important physiological processes operate at time and space scales far beyond those accessible to atom-realistic simulations, and yet discrete stochastic rather than continuum...
204
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
177
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
The paper presents a new distributed metaheuristic algorithm in an optimal control problem related to the cooling process in the continuous casting of steel. The optimization task...