5084 search results - page 952 / 1017 » Proving Possibility Properties |
104
click to vote
IACR
2011
14 years 8 days ago
2011
Program Obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Des...
142
click to vote
COMGEO
2012
ACM
13 years 8 months ago
2012
ACM
We study a class of multi-commodity flow problems in geometric domains: For a given planar domain P populated with obstacles (holes) of K ≥ 2 types, compute a set of thick path...
124
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
130
Voted
SOFSEM
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
132
click to vote
TON
2012
13 years 3 months ago
2012
—The benefits of using mobile base station to prolong sensor network lifetime have been well recognized. However, due to the complexity of the problem (time-dependent network to...