3608 search results - page 344 / 722 » computing 2011 |
165
click to vote
CORR
2011
Springer
15 years 3 days ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
157
click to vote
CORR
2011
Springer
15 years 3 days ago
2011
Springer
We answer a problem posed in [GKM08] regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of “incremental bra...
143
click to vote
CORR
2011
Springer
15 years 3 days ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
183
click to vote
CORR
2011
Springer
15 years 3 days ago
2011
Springer
Abstract—This paper addresses combinatorial optimization schemes for solving the multicriteria Steiner tree problem for communication network topology design (e.g., wireless mesh...
163
click to vote
CORR
2011
Springer
15 years 3 days ago
2011
Springer
—Cloud providers, like Amazon, offer their data centers’ computational and storage capacities for lease to paying customers. High electricity consumption, associated with runni...