16430 search results - page 2834 / 3286 » On Computable Tree Functions |
169
click to vote
COCO
2007
Springer
16 years 1 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
174
click to vote
DCOSS
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
161
click to vote
ECOWS
2007
Springer
16 years 1 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
193
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...
168
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
A biological organism’s ability to sense and adapt to its environment is essential to its survival. Likewise, environmentally aware computing systems avail themselves to a longe...